| Wed, 08 Aug 2012 12:10:22 +0200 | wenzelm | eliminated obsolete ISABELLE_USEDIR_OPTIONS; | changeset | files |
| Wed, 08 Aug 2012 11:53:14 +0200 | wenzelm | updated ML settings; | changeset | files |
| Wed, 08 Aug 2012 11:21:09 +0200 | hoelzl | add legacy target for HOL-Probability, needed by AFP/Markov_Models | changeset | files |
| Wed, 08 Aug 2012 11:02:38 +0200 | wenzelm | proper isabelle update_keywords tool; | changeset | files |
| 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 |