Mon, 16 Feb 2009 20:07:05 +0100 wenzelm eliminated old 'axclass';
Mon, 16 Feb 2009 12:57:53 +0100 wenzelm avoid redefinition of FIXES/ASSUMES/SHOWS macros;
Mon, 16 Feb 2009 12:47:49 +0100 wenzelm removed obsolete .cvsignore files;
Mon, 16 Feb 2009 12:27:30 +0100 wenzelm removed obsolete axclass manual and examples;
Sun, 15 Feb 2009 21:26:25 +0100 wenzelm explicit section for old/outdated manuals, which are still informative to some extent;
Sun, 15 Feb 2009 18:56:13 +0100 wenzelm updated generated files;
Sun, 15 Feb 2009 18:54:50 +0100 wenzelm added introduction;
Sun, 15 Feb 2009 18:54:00 +0100 wenzelm added label;
Sun, 15 Feb 2009 18:53:41 +0100 wenzelm removed obsolete section "User interfaces";
Sun, 15 Feb 2009 18:50:51 +0100 wenzelm tuned spacing;
Sun, 15 Feb 2009 18:11:35 +0100 wenzelm tuned;
Sun, 15 Feb 2009 17:48:02 +0100 wenzelm updated generated files;
Sun, 15 Feb 2009 17:47:49 +0100 wenzelm tuned;
Sat, 14 Feb 2009 22:58:30 +0100 wenzelm added Isar/VM mode transition diagram;
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip