doc-src/IsarRef/Thy/Generic.thy
Sat, 30 Oct 2010 16:33:58 +0200 wenzelm support for real valued configuration options;
Fri, 29 Oct 2010 11:49:56 +0200 wenzelm eliminated obsolete \_ escapes in rail environments;
Sat, 06 Mar 2010 15:39:16 +0100 wenzelm eliminated Args.bang_facts (legacy feature);
Thu, 12 Mar 2009 00:02:03 +0100 wenzelm tuned;
Mon, 09 Mar 2009 21:25:33 +0100 wenzelm markup antiquotation options;
Sat, 28 Feb 2009 16:39:46 +0100 wenzelm removed Ids;
Thu, 13 Nov 2008 21:50:30 +0100 wenzelm fixed/tuned syntax for attribute "tagged";
less more (0) -10 -7 tip