| Mon, 13 Aug 2007 21:22:41 +0200 | haftmann | simplified | changeset | files |
| Mon, 13 Aug 2007 21:22:40 +0200 | haftmann | fixed OCaml bug | changeset | files |
| Mon, 13 Aug 2007 21:22:39 +0200 | haftmann | *** empty log message *** | changeset | files |
| Mon, 13 Aug 2007 21:22:37 +0200 | haftmann | renamed keyword "to" to "module_name" | changeset | files |
| Mon, 13 Aug 2007 21:22:36 +0200 | haftmann | dropped code_axioms | changeset | files |
| Mon, 13 Aug 2007 18:10:24 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
| Mon, 13 Aug 2007 18:10:24 +0200 | wenzelm | Lexicon.tokenize: do not appen EndToken yet; | changeset | files |
| Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.tokenize: do not appen EndToken yet; | changeset | files |
| Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.read_indexname/nat/variable; | changeset | files |
| Mon, 13 Aug 2007 18:10:20 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
| Mon, 13 Aug 2007 18:10:19 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
| Mon, 13 Aug 2007 18:10:18 +0200 | wenzelm | SimpleSyntax.read_prop; | changeset | files |
| Mon, 13 Aug 2007 12:56:03 +0200 | isatest | added atbroy9 | changeset | files |
| Mon, 13 Aug 2007 12:53:58 +0200 | isatest | multi-threading with poly 5.1 test | changeset | files |
| Mon, 13 Aug 2007 04:35:41 +0200 | kleing | new attribute [rotated] | changeset | files |
| Mon, 13 Aug 2007 00:23:43 +0200 | wenzelm | tuned comments; | changeset | files |