| Wed, 11 Feb 2009 21:39:59 +0100 | wenzelm | some more Isar elements; | file | diff | annotate |
| Thu, 13 Nov 2008 21:45:40 +0100 | wenzelm | updated/refined types of Isar language elements, removed special LaTeX macros; | file | diff | annotate |
| Mon, 15 Sep 2008 16:40:53 +0200 | wenzelm | added isatt markup; | file | diff | annotate |
| Fri, 09 May 2008 23:21:33 +0200 | wenzelm | removed outdated comment; | file | diff | annotate |
| Fri, 09 May 2008 23:18:52 +0200 | wenzelm | removed obsolete macros for Isar commands etc.; | file | diff | annotate |
| Mon, 05 May 2008 15:23:59 +0200 | wenzelm | added isasymIN/STRUCTURE; | file | diff | annotate |
| Fri, 02 May 2008 16:38:01 +0200 | wenzelm | added begin and imports; | file | diff | annotate |
| Mon, 28 Apr 2008 14:41:32 +0200 | wenzelm | added AND, IS, WHERE symbols; | file | diff | annotate |
| Thu, 24 Apr 2008 11:38:10 +0200 | wenzelm | more abstract index commands; | file | diff | annotate |
| Thu, 24 Apr 2008 11:05:19 +0200 | wenzelm | added \indexoutersyntax; | file | diff | annotate |
| Thu, 10 Jan 2008 08:21:03 +0100 | haftmann | added overloading target | file | diff | annotate |
| Wed, 05 Dec 2007 14:15:39 +0100 | haftmann | added something about instantiation target | file | diff | annotate |
| Fri, 12 Oct 2007 08:20:43 +0200 | haftmann | added subclass command | file | diff | annotate |
| Mon, 14 Aug 2006 13:46:05 +0200 | haftmann | added passage on class package | file | diff | annotate |
| Tue, 04 Jul 2006 18:39:57 +0200 | wenzelm | added 'unfolding'; | file | diff | annotate |