doc-src/AxClass/Makefile
Fri, 19 Aug 2005 23:20:50 +0200 wenzelm fixed deps;
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;
Mon, 10 May 1999 17:44:17 +0200 wenzelm tuned;
Mon, 10 May 1999 16:35:22 +0200 wenzelm pdf setup;
Wed, 05 May 1999 18:26:10 +0200 wenzelm improved Makefile;
Mon, 12 May 1997 17:53:36 +0200 wenzelm Tutorial on Axiomatic Type Classes;
less more (0) tip