| Sun, 08 Jun 2008 14:29:36 +0200 | wenzelm | removed old AxClass; | file | diff | annotate |
| Wed, 13 Dec 2006 12:07:43 +0100 | krauss | added IsarAdvanced/Functions | file | diff | annotate |
| Tue, 10 Oct 2006 13:59:12 +0200 | haftmann | added IsarAdvanced material | file | diff | annotate |