doc-src/IsarRef/Thy/Inner_Syntax.thy
Sat, 08 May 2010 19:53:11 +0200 wenzelm discontinued Pretty.setdepth, which appears to be largely unused, but can disrupt important markup if enabled accidentally;
Sat, 08 May 2010 19:14:13 +0200 wenzelm unified/simplified Pretty.margin_default;
Thu, 29 Apr 2010 17:47:53 +0200 wenzelm allow concrete syntax for local entities within a proof body, either via regular mixfix annotations to 'fix' etc. or the separate 'write' command;
Mon, 01 Mar 2010 17:09:42 +0100 wenzelm added type_notation command;
Wed, 24 Feb 2010 20:37:01 +0100 wenzelm allow general mixfix syntax for type constructors;
Thu, 01 Oct 2009 20:04:44 +0200 wenzelm explicitly Unsynchronized;
Mon, 09 Mar 2009 21:25:33 +0100 wenzelm markup antiquotation options;
less more (0) -10 -7 tip