| Tue, 17 Jul 2007 22:51:13 +0200 | wenzelm | added ISABELLE_FILE_IDENT (command line for source file identification); | changeset | files |
| Tue, 17 Jul 2007 22:48:40 +0200 | wenzelm | adapted TextIO.inputLine; | changeset | files |
| Tue, 17 Jul 2007 22:48:39 +0200 | wenzelm | tuned comment; | changeset | files |
| Tue, 17 Jul 2007 16:14:42 +0200 | wenzelm | avoid redundant variables in patterns (which made Alice vomit); | changeset | files |
| Tue, 17 Jul 2007 16:06:13 +0200 | paulson | Full sort information by default. | changeset | files |
| Tue, 17 Jul 2007 16:05:54 +0200 | berghofe | Added hypotheses. | changeset | files |
| Tue, 17 Jul 2007 16:05:34 +0200 | berghofe | Added clause for hypotheses to proof_of_xml function. | changeset | files |
| Tue, 17 Jul 2007 15:59:50 +0200 | wenzelm | use /usr/proj/polyml/polyml-5.1-test, which might be more stable; | changeset | files |