| Wed, 28 Dec 2016 10:39:50 +0100 |
wenzelm |
more uniform treatment of "bad" like other messages (with serial number);
|
file |
diff |
annotate
|
| Wed, 21 Sep 2016 22:43:06 +0200 |
wenzelm |
more general mixfix delimiters;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 23:11:00 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 22:20:03 +0200 |
wenzelm |
explicit warning about formal use of Unicode;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 21:34:17 +0200 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 19:01:34 +0200 |
wenzelm |
require actual space;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 18:43:54 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 18:32:52 +0200 |
wenzelm |
clarified errors -- disallow cartouche fragments as delimiter;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 17:14:27 +0200 |
wenzelm |
removed redundant Position.set_range -- already done in Position.range;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 16:15:31 +0200 |
wenzelm |
explicit property for unbreakable block;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 15:27:59 +0200 |
wenzelm |
tuned markup;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 14:49:02 +0200 |
wenzelm |
clarified treatment of properties;
|
file |
diff |
annotate
|
| Thu, 31 Mar 2016 23:36:33 +0200 |
wenzelm |
explicit mixfix block properties;
|
file |
diff |
annotate
|
| Wed, 30 Mar 2016 22:35:41 +0200 |
wenzelm |
more language markup;
|
file |
diff |
annotate
|
| Wed, 30 Mar 2016 19:25:04 +0200 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|