| Fri, 20 Jul 2012 11:46:37 +0200 | wenzelm | simplified script to build Isabelle/ML; | changeset | files |
| Thu, 19 Jul 2012 22:32:52 +0200 | wenzelm | added eq_file / copy_file corresponding to File.eq / File.copy in ML; | changeset | files |
| Thu, 19 Jul 2012 20:52:17 +0200 | wenzelm | merged | changeset | files |
| Thu, 19 Jul 2012 19:38:39 +0200 | haftmann | removed ML module DSeq which was a part of the ancient code generator (cf. 58e33a125f32) | changeset | files |
| Thu, 19 Jul 2012 12:01:05 +0200 | bulwahn | deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest | changeset | files |
| Thu, 19 Jul 2012 20:49:17 +0200 | wenzelm | support for detached Bash_Job with some control operations; | changeset | files |
| Thu, 19 Jul 2012 20:39:49 +0200 | wenzelm | allow catalog entries to be commented-out; | changeset | files |