| Mon, 29 Nov 2010 11:22:40 +0100 |
wenzelm |
added document antiquotation @{file};
|
file |
diff |
annotate
|
| Tue, 19 Oct 2010 21:13:10 +0100 |
wenzelm |
more robust treatment of "op IDENT";
|
file |
diff |
annotate
|
| Tue, 19 Oct 2010 19:16:27 +0100 |
wenzelm |
more robust index_ML antiquotations: guess name from text (affects infixes and type constructors in particular);
|
file |
diff |
annotate
|
| Sat, 16 Oct 2010 21:23:34 +0100 |
wenzelm |
more robust treatment of symbolic indentifiers (which may contain colons);
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 21:49:16 +0100 |
wenzelm |
more on ML antiquotations;
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 12:40:20 +0200 |
wenzelm |
proper context for various Thy_Output options, via official configuration options in ML and Isar;
|
file |
diff |
annotate
|
| Tue, 27 Jul 2010 23:02:45 +0200 |
wenzelm |
updated manual concerning theory loader;
|
file |
diff |
annotate
|
| Mon, 31 May 2010 21:06:57 +0200 |
wenzelm |
modernized some structure names, keeping a few legacy aliases;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 21:34:19 +0200 |
wenzelm |
replaced ML_Lex.read_antiq by more concise ML_Lex.read, which includes full read/report with explicit position information;
|
file |
diff |
annotate
|
| Tue, 18 May 2010 10:13:33 +0200 |
wenzelm |
prefer structure Keyword and Parse;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 11:39:08 +0200 |
wenzelm |
proper checking of ML functors (in Poly/ML 5.2 or later);
|
file |
diff |
annotate
|
| Wed, 10 Jun 2009 11:31:26 +0200 |
wenzelm |
eliminated escaped symbols;
|
file |
diff |
annotate
|
| Sat, 30 May 2009 11:56:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 21:23:40 +0100 |
wenzelm |
fornal markup for antiquotation options;
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 20:34:11 +0100 |
wenzelm |
moved @{ML_functor} and @{ML_text} to Pure;
|
file |
diff |
annotate
|