| Wed, 08 Aug 2012 10:56:37 +0200 | wenzelm | configure Admin as component, with its own lib/Tools; | changeset | files |
| Wed, 08 Aug 2012 10:40:52 +0200 | wenzelm | SOMEthing went utterly wrong in 5b51ccdc8623; | changeset | files |
| Wed, 08 Aug 2012 00:22:06 +0200 | wenzelm | more legacy targets; | changeset | files |
| Tue, 07 Aug 2012 23:43:05 +0200 | wenzelm | discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; | changeset | files |
| Tue, 07 Aug 2012 23:38:18 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 07 Aug 2012 22:54:27 +0200 | blanchet | proper quoting | changeset | files |
| Tue, 07 Aug 2012 22:32:14 +0200 | wenzelm | merged | changeset | files |