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 |