doc-src/Codegen/style.sty
Wed, 03 Nov 2010 14:14:05 +0100 haftmann SMLdummy target
Mon, 27 Sep 2010 16:27:32 +0200 haftmann combine quote and typewriter tag; typewriter considers isa@parindent
Fri, 24 Sep 2010 16:09:54 +0200 haftmann separate quote tag from tt tag
Fri, 24 Sep 2010 14:56:16 +0200 haftmann use typewriter tag instead of bare environment
Fri, 24 Sep 2010 14:03:43 +0200 haftmann fixed small font size fore typewriter text
Thu, 23 Sep 2010 16:28:12 +0200 haftmann more idiomatic handling of latex typewriter type setting
Thu, 23 Sep 2010 15:46:17 +0200 haftmann more canonical type setting of type writer code examples
Mon, 20 Sep 2010 09:19:13 +0200 haftmann \\isatypewrite now part of isabelle latex style
Fri, 13 Aug 2010 13:43:55 +0200 haftmann ditem
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