| Sun, 22 Apr 2012 17:54:47 +0200 | huffman | adapt to changes in generated transfer rules (cf. 4483c004499a) | changeset | files |
| Sun, 22 Apr 2012 16:53:24 +0200 | huffman | fix bug caused by misunderstanding of operator precedences (cf. cb44d09d9d22) | changeset | files |
| Sun, 22 Apr 2012 19:04:30 +0200 | wenzelm | more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe); | changeset | files |
| Sun, 22 Apr 2012 16:33:41 +0200 | wenzelm | merged | changeset | files |