| Wed, 08 Jun 2011 12:13:37 +0200 |
wenzelm |
updated imports (cf. 93b1183e43e5);
|
file |
diff |
annotate
|
| Tue, 03 May 2011 22:27:32 +0200 |
wenzelm |
more conventional naming scheme: names_long, names_short, names_unique;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 13:48:45 +0200 |
wenzelm |
Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 17:45:37 +0200 |
wenzelm |
renamed sprop "prop#" to "prop'" -- proper identifier;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 15:02:11 +0200 |
wenzelm |
discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
|
file |
diff |
annotate
|
| 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
|