| Sat, 17 Oct 2015 21:15:10 +0200 |
wenzelm |
added 'paragraph', 'subparagraph';
|
file |
diff |
annotate
|
| Wed, 08 Jul 2015 15:37:32 +0200 |
wenzelm |
clarified text folds: proof ... qed counts as extra block;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2015 12:09:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2015 22:11:01 +0200 |
wenzelm |
support for 'restricted' modifier: only qualified accesses outside the local scope;
|
file |
diff |
annotate
|
| Sat, 04 Apr 2015 21:21:40 +0200 |
wenzelm |
more general notion of command span: command keyword not necessarily at start;
|
file |
diff |
annotate
|
| Tue, 17 Mar 2015 15:21:41 +0100 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 19:21:15 +0100 |
wenzelm |
hybrid use of command blobs: inlined errors and auxiliary files;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2015 12:49:20 +0100 |
wenzelm |
more command categories, as in ML;
|
file |
diff |
annotate
|
| Thu, 12 Mar 2015 20:34:08 +0100 |
wenzelm |
clarified command content;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 21:14:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 03 Dec 2014 14:04:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 15:21:49 +0100 |
wenzelm |
more merge operations;
|
file |
diff |
annotate
|