doc-src/Classes/Thy/Setup.thy
Mon, 27 Jun 2011 22:20:49 +0200 wenzelm document antiquotations are managed as theory data, with proper name space and entity markup;
Tue, 05 Apr 2011 14:25:18 +0200 wenzelm discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
Wed, 29 Dec 2010 17:34:41 +0100 wenzelm explicit file specifications -- avoid secondary load path;
Wed, 11 Aug 2010 09:06:31 +0200 haftmann explicit ML extension
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Fri, 11 Dec 2009 20:32:49 +0100 haftmann default_code_width is now proper theory data
Tue, 03 Mar 2009 13:20:53 +0100 haftmann tuned manuals
Tue, 03 Mar 2009 11:00:51 +0100 haftmann more canonical directory structure of manuals
less more (0) tip