| Wed, 25 Jan 2012 21:10:54 +0100 |
wenzelm |
document antiquotations for ML infix operators;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2011 15:14:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2011 10:45:51 +0200 |
bulwahn |
adding a minimalistic documentation of the value antiquotation in the Isar reference manual
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 22:02:34 +0200 |
wenzelm |
tuned;
|
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
|
| Tue, 03 May 2011 18:04:05 +0200 |
wenzelm |
some documentation of @{rail} antiquotation;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 15:07:36 +0200 |
wenzelm |
formal Base theory;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 20:34:34 +0200 |
wenzelm |
eliminated some duplicate "def" positions;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 17:06:40 +0200 |
wenzelm |
more precise rail diagrams;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 01:05:50 +0200 |
wenzelm |
modernized rail diagrams using @{rail} antiquotation;
|
file |
diff |
annotate
|
| Thu, 02 Dec 2010 16:52:52 +0100 |
wenzelm |
configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning;
|
file |
diff |
annotate
|
| Mon, 29 Nov 2010 11:22:40 +0100 |
wenzelm |
added document antiquotation @{file};
|
file |
diff |
annotate
|
| Sun, 28 Nov 2010 21:07:28 +0100 |
wenzelm |
Parse.liberal_name for document antiquotations and attributes;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 16:17:59 +0200 |
wenzelm |
clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees;
|
file |
diff |
annotate
|
| Mon, 13 Sep 2010 14:53:56 +0200 |
haftmann |
'class' and 'type' are now antiquoations by default
|
file |
diff |
annotate
|
| Fri, 09 Oct 2009 10:00:47 +0200 |
haftmann |
term styles also cover antiquotations term_type and typeof
|
file |
diff |
annotate
|
| Thu, 08 Oct 2009 15:59:15 +0200 |
haftmann |
corrected syntax diagrams for styles
|
file |
diff |
annotate
|
| Thu, 08 Oct 2009 15:16:13 +0200 |
haftmann |
new generalized concept for term styles
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 21:25:33 +0100 |
wenzelm |
markup antiquotation options;
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 16:39:46 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:45:40 +0100 |
wenzelm |
updated/refined types of Isar language elements, removed special LaTeX macros;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:43:46 +0100 |
wenzelm |
unified use of declaration environment with IsarImplementation;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:33:15 +0100 |
wenzelm |
updated section "Markup via command tags";
|
file |
diff |
annotate
|