| Wed, 11 Aug 2010 12:40:08 +0200 | wenzelm | modernized some specifications; | changeset | files |
| Wed, 11 Aug 2010 00:47:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 11 Aug 2010 00:46:07 +0200 | wenzelm | Isar_Document command input via native Isabelle_Process commands, using YXML and XML_Data representation; | changeset | files |
| Wed, 11 Aug 2010 00:44:48 +0200 | wenzelm | native Isabelle_Process commands, based on efficient byte channel protocol for string lists; | changeset | files |
| Wed, 11 Aug 2010 00:42:40 +0200 | wenzelm | proper handling of empty text; | changeset | files |
| Wed, 11 Aug 2010 00:42:01 +0200 | wenzelm | more uniform XML/YXML string_of_body/string_of_tree; | changeset | files |