doc-src/AxClass/body.tex
Tue, 03 Oct 2000 18:55:23 +0200 wenzelm major cleanup -- improved typesetting;
Mon, 22 May 2000 16:04:32 +0200 wenzelm tuned;
Mon, 22 May 2000 11:56:55 +0200 wenzelm tuned;
Mon, 22 May 2000 10:31:44 +0200 wenzelm tuned;
Sun, 21 May 2000 21:48:39 +0200 wenzelm new Isar version;
Sun, 21 May 2000 01:12:00 +0200 wenzelm snapshot of new Isar'ized version;
less more (0) tip