| Thu, 16 Sep 2010 15:37:12 +0200 | wenzelm | Isar "default" step needs to fail for solved problems, for clear distinction of '.' and '..' for example -- amending lapse introduced in 9de4d64eee3b (April 2004); | changeset | files |
| Thu, 16 Sep 2010 15:32:24 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 16 Sep 2010 08:18:34 +0200 | haftmann | tuned whitespace | changeset | files |
| Thu, 16 Sep 2010 06:49:46 +0200 | boehmes | reverse order of datatype declarations so that declarations only depend on already declared datatypes | changeset | files |
| Wed, 15 Sep 2010 22:24:35 +0200 | blanchet | merged | changeset | files |
| Wed, 15 Sep 2010 22:20:10 +0200 | blanchet | make "metis.ML" building process slightly more robust by eliminating the need for "FILES"; | changeset | files |