| Tue, 14 Aug 2007 13:20:14 +0200 | wenzelm | moved Tools/xml.ML to General/xml.ML (again); | changeset | files |
| Tue, 14 Aug 2007 13:20:12 +0200 | wenzelm | PrimitiveDefs.mk_defpair; | changeset | files |
| Tue, 14 Aug 2007 00:52:59 +0200 | isatest | be a bit more ressource cautious with multi-threading (-M 20 instead of 99) | changeset | files |
| Mon, 13 Aug 2007 21:22:42 +0200 | haftmann | fixed syntax | changeset | files |