| Thu, 03 Apr 2008 18:42:41 +0200 | wenzelm | moved output_markup to xml.ML; | changeset | files |
| Thu, 03 Apr 2008 18:42:40 +0200 | wenzelm | XML.output_markup; | changeset | files |
| Thu, 03 Apr 2008 18:42:39 +0200 | wenzelm | XML.string_of, XML.parse; | changeset | files |
| 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 |