Tue, 07 Feb 2012 18:56:40 +0100 tuned;
wenzelm [Tue, 07 Feb 2012 18:56:40 +0100] rev 46294
tuned;
Tue, 07 Feb 2012 18:51:22 +0100 updated examples for syntax translations;
wenzelm [Tue, 07 Feb 2012 18:51:22 +0100] rev 46293
updated examples for syntax translations;
Sun, 05 Feb 2012 21:00:38 +0100 updated section on raw syntax;
wenzelm [Sun, 05 Feb 2012 21:00:38 +0100] rev 46292
updated section on raw syntax; misc tuning;
Sun, 05 Feb 2012 18:11:19 +0100 updated section about syntax ambiguity;
wenzelm [Sun, 05 Feb 2012 18:11:19 +0100] rev 46291
updated section about syntax ambiguity;
Sat, 04 Feb 2012 18:33:04 +0100 updated/unified section on mixfix annotations;
wenzelm [Sat, 04 Feb 2012 18:33:04 +0100] rev 46290
updated/unified section on mixfix annotations;
Sat, 04 Feb 2012 16:08:19 +0100 tuned;
wenzelm [Sat, 04 Feb 2012 16:08:19 +0100] rev 46289
tuned;
Sat, 04 Feb 2012 15:56:49 +0100 more on explicit notation;
wenzelm [Sat, 04 Feb 2012 15:56:49 +0100] rev 46288
more on explicit notation;
Sat, 04 Feb 2012 15:44:50 +0100 more accurate Pure grammar;
wenzelm [Sat, 04 Feb 2012 15:44:50 +0100] rev 46287
more accurate Pure grammar;
Sat, 04 Feb 2012 14:25:14 +0100 more refs;
wenzelm [Sat, 04 Feb 2012 14:25:14 +0100] rev 46286
more refs;
Sat, 04 Feb 2012 14:20:39 +0100 simplified mixfix (NB: infix is no longer required separately);
wenzelm [Sat, 04 Feb 2012 14:20:39 +0100] rev 46285
simplified mixfix (NB: infix is no longer required separately);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip