| Wed, 11 Aug 2010 15:17:13 +0200 | wenzelm | use Pretty.enum convenience; | changeset | files |
| Wed, 11 Aug 2010 15:00:31 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 11 Aug 2010 13:39:36 +0200 | wenzelm | more precise and more maintainable dependencies; | changeset | files |
| Wed, 11 Aug 2010 12:50:33 +0200 | wenzelm | merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML; | changeset | files |
| Wed, 11 Aug 2010 12:04:06 +0200 | haftmann | * -> prod | changeset | files |
| Wed, 11 Aug 2010 12:03:57 +0200 | haftmann | added .ML extension | changeset | files |
| Wed, 11 Aug 2010 11:56:57 +0200 | haftmann | avoid old unnamed infix | changeset | files |