| Wed, 03 Mar 2010 00:28:22 +0100 |
wenzelm |
authentic syntax for classes and type constructors;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 17:07:36 +0100 |
wenzelm |
more uniform treatment of syntax for types vs. consts;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2009 20:48:08 +0100 |
wenzelm |
modernized structure Local_Syntax;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sun, 11 Nov 2007 14:00:09 +0100 |
wenzelm |
syntax operations: turned extend'' into update'' (absorb duplicates);
|
file |
diff |
annotate
|
| Sat, 10 Nov 2007 23:04:00 +0100 |
wenzelm |
update_modesyntax: based on Syntax.update_const_gram (avoids duplicates);
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 16:05:26 +0200 |
wenzelm |
renamed Syntax.XXX_mode to Syntax.mode_XXX;
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 00:28:32 +0200 |
wenzelm |
update_modesyntax: may delete 'structure' notation as well;
|
file |
diff |
annotate
|
| Wed, 10 Oct 2007 17:31:59 +0200 |
wenzelm |
replaced add_modesyntax by general update_modesyntax (add or del);
|
file |
diff |
annotate
|
| Fri, 29 Sep 2006 22:47:03 +0200 |
wenzelm |
Syntax.mode;
|
file |
diff |
annotate
|
| Tue, 16 May 2006 21:33:11 +0200 |
wenzelm |
added add_modesyntax;
|
file |
diff |
annotate
|
| Thu, 11 May 2006 19:19:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 02 May 2006 20:42:37 +0200 |
wenzelm |
maintain implicit syntax mode;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2006 15:06:35 +0200 |
wenzelm |
tuned basic list operators (flat, maps, map_filter);
|
file |
diff |
annotate
|
| Mon, 24 Apr 2006 16:35:30 +0200 |
haftmann |
moved coalesce to AList, added equality predicates to library
|
file |
diff |
annotate
|
| Sun, 09 Apr 2006 18:51:21 +0200 |
wenzelm |
add_syntax: actually observe print mode;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2006 22:51:25 +0200 |
wenzelm |
simplified handling of authentic syntax (cf. early externing in consts.ML);
|
file |
diff |
annotate
|
| Sat, 11 Feb 2006 17:17:51 +0100 |
wenzelm |
tuned mixfixes, mixfix_conflict;
|
file |
diff |
annotate
|
| Fri, 10 Feb 2006 02:22:39 +0100 |
wenzelm |
Local syntax depending on theory syntax.
|
file |
diff |
annotate
|