| Tue, 23 Jun 2009 11:31:27 +0200 | haftmann | lemma finite_image_set by Jeremy Avigad | changeset | files |
| Tue, 23 Jun 2009 12:59:44 +0200 | nipkow | merged | changeset | files |
| Tue, 23 Jun 2009 12:58:53 +0200 | nipkow | new lemmas | changeset | files |
| Tue, 23 Jun 2009 20:09:56 +0200 | wenzelm | tuned input: require longer symbol prefix; | changeset | files |
| Tue, 23 Jun 2009 17:43:51 +0200 | wenzelm | moved string utilities to completion.scala; | changeset | files |
| Tue, 23 Jun 2009 17:43:23 +0200 | wenzelm | Completion of symbols and keywords. | changeset | files |
| Tue, 23 Jun 2009 12:42:45 +0200 | wenzelm | more precise implementation of trait methods -- oddly this seems to require copy/paste for +, ++; | changeset | files |