| Thu, 03 Apr 2008 18:42:38 +0200 | wenzelm | replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.; | changeset | files |
| Thu, 03 Apr 2008 18:42:37 +0200 | wenzelm | added output_markup (from Tools/isabelle_process.ML); | changeset | files |
| Thu, 03 Apr 2008 18:42:36 +0200 | wenzelm | replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.; | changeset | files |
| Thu, 03 Apr 2008 18:42:34 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 03 Apr 2008 18:13:50 +0200 | berghofe | Added skip_mono flag to inductive definition package. | changeset | files |
| Thu, 03 Apr 2008 17:55:12 +0200 | berghofe | Added skip_mono flag to inductive definition package. | changeset | files |
| Thu, 03 Apr 2008 17:54:19 +0200 | berghofe | Added skip_mono flag and inductive_flags type. | changeset | files |