Tue, 24 Nov 2009 17:54:33 +0100 | wenzelm | Added tag isa2009-1-test for changeset 4328de748fb2 | changeset | files |
Tue, 24 Nov 2009 17:19:33 +0100 | wenzelm | some rearangement of load order to keep preferences adjacent -- slightly fragile; | changeset | files |
Tue, 24 Nov 2009 16:11:50 +0100 | blanchet | use correct Isabelle version name in README file | changeset | files |