Thu, 02 Sep 2010 16:41:44 +0200 | haftmann | more canonical theory setup | file | diff | annotate |
Fri, 27 Aug 2010 14:07:09 +0200 | wenzelm | expanded some aliases from structure Unsynchronized; | file | diff | annotate |
Wed, 18 Aug 2010 09:46:59 +0200 | haftmann | pretty constraint syntax; tuned theory imports | file | diff | annotate |
Tue, 17 Aug 2010 14:19:12 +0200 | haftmann | nicer code for rev | file | diff | annotate |
Fri, 11 Dec 2009 20:32:49 +0100 | haftmann | default_code_width is now proper theory data | file | diff | annotate |
Thu, 01 Oct 2009 20:04:44 +0200 | wenzelm | explicitly Unsynchronized; | file | diff | annotate |
Tue, 03 Mar 2009 13:20:53 +0100 | haftmann | tuned manuals | file | diff | annotate |
Tue, 03 Mar 2009 11:00:51 +0100 | haftmann | more canonical directory structure of manuals | file | diff | annotate | base |