Tue, 07 Aug 2012 16:34:15 +0200 | wenzelm | prefer static Build.outer_syntax in Isabelle/Scala session -- discontinued incremental protocol; | changeset | files |
Tue, 07 Aug 2012 15:19:08 +0200 | wenzelm | permissive outer syntax wrt. symbol recoding; | changeset | files |
Tue, 07 Aug 2012 15:01:48 +0200 | wenzelm | simplified Document.Node.Header -- internalized errors; | changeset | files |