| Thu, 10 May 2012 22:51:44 +0200 | wenzelm | merged | changeset | files |
| Thu, 10 May 2012 22:49:12 +0200 | wenzelm | file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation; | changeset | files |
| 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 |