| 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
|
| Thu, 16 Sep 2010 15:32:24 +0200 |
wenzelm |
updated generated file;
|
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:16 +0200 |
haftmann |
updated generated documentation
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 21:25:33 +0100 |
wenzelm |
markup antiquotation options;
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 17:09:32 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 22:45:12 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 17:40:58 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Thu, 14 Aug 2008 21:06:07 +0200 |
wenzelm |
[source=false] for quoted antiquotation avoids quote-escapes in output;
|
file |
diff |
annotate
|
| Thu, 03 Jul 2008 11:16:07 +0200 |
haftmann |
added lemma antiquotation
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 00:03:54 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Mon, 02 Jun 2008 23:38:28 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Mon, 02 Jun 2008 22:50:29 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|