Mon, 30 Mar 2015 14:19:45 +0200 |
wenzelm |
more uniform syntax for named instantiations;
|
file |
diff |
annotate
|
Mon, 23 Mar 2015 17:07:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 23 Mar 2015 17:01:47 +0100 |
wenzelm |
clarified syntax category "fixes";
|
file |
diff |
annotate
|
Mon, 23 Mar 2015 15:55:41 +0100 |
wenzelm |
tuned syntax diagrams -- no duplication of "target";
|
file |
diff |
annotate
|
Mon, 09 Mar 2015 20:33:33 +0100 |
wenzelm |
support structural composition (THEN_ALL_NEW) for proof methods;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:44:41 +0200 |
wenzelm |
clarified whitespace;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 22:24:07 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
Mon, 18 Aug 2014 13:19:04 +0200 |
wenzelm |
merged;
|
file |
diff |
annotate
|
Wed, 13 Aug 2014 20:08:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 16 Aug 2014 12:15:56 +0200 |
wenzelm |
updated syntax for localized commands;
|
file |
diff |
annotate
|
Thu, 14 Aug 2014 14:28:11 +0200 |
wenzelm |
localized command 'method_setup' and 'attribute_setup';
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 00:21:31 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|