Wed, 22 Jan 2014 21:14:27 +0100 ballarin Locales paper has appeared in print.
Wed, 22 Jan 2014 17:22:26 +0100 wenzelm tuned spelling;
Wed, 22 Jan 2014 17:22:08 +0100 wenzelm removed junk;
Wed, 22 Jan 2014 17:14:27 +0100 wenzelm merged
Wed, 22 Jan 2014 17:14:09 +0100 wenzelm tuned;
Wed, 22 Jan 2014 17:02:05 +0100 wenzelm prefer rail cartouche -- avoid back-slashed quotes;
Wed, 22 Jan 2014 16:03:11 +0100 wenzelm tuned signature;
Wed, 22 Jan 2014 15:28:19 +0100 wenzelm avoid breakdown of document preparation, which does not understand cartouche tokens yet;
Wed, 22 Jan 2014 15:11:10 +0100 wenzelm more cartouche examples, including uniform nesting of sub-languages;
Wed, 22 Jan 2014 15:10:33 +0100 wenzelm inner syntax token language allows regular quoted strings;
Mon, 20 Jan 2014 20:38:51 +0100 wenzelm tuned signature;
Mon, 20 Jan 2014 20:24:44 +0100 wenzelm tuned error messages, more accurate position;
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 tip