doc-src/Ref/defining.tex
Sun, 05 Feb 2012 21:00:38 +0100 wenzelm updated section on raw syntax;
Sun, 05 Feb 2012 18:11:19 +0100 wenzelm updated section about syntax ambiguity;
Sat, 04 Feb 2012 18:33:04 +0100 wenzelm updated/unified section on mixfix annotations;
Thu, 02 Feb 2012 21:21:41 +0100 wenzelm updated section on print modes;
Fri, 20 May 2011 14:03:42 +0200 wenzelm removed some obsolete text;
Sun, 01 Mar 2009 13:48:17 +0100 wenzelm removed parts of the manual that are clearly obsolete, or covered by
Tue, 11 Jul 2006 14:21:04 +0200 wenzelm num/xnum: bin or hex;
Thu, 17 Jun 2004 14:26:24 +0200 wenzelm tuned;
less more (0) -30 -10 -8 tip