| Thu, 10 May 2012 21:35:04 +0200 | wenzelm | prefer absolute paths, to allow launching from a different context (e.g. via file associations); | changeset | files |
| Thu, 10 May 2012 20:49:30 +0200 | wenzelm | tweaked Inductive.prove_eqs to allow degenerate definition like "inductive TRUE where TRUE"; | changeset | files |
| Wed, 09 May 2012 16:46:12 +0200 | wenzelm | allow spaces in target directory; | changeset | files |
| Mon, 07 May 2012 21:38:12 +0200 | wenzelm | Added tag Isabelle2012-RC2 for changeset 1636ff4c6243 | changeset | files |
| Mon, 07 May 2012 20:35:53 +0200 | wenzelm | init Cygwin after unpacking; | changeset | files |
| Sun, 06 May 2012 13:58:05 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sun, 06 May 2012 13:22:37 +0200 | wenzelm | more accurate ROOT.ML; | changeset | files |