| Thu, 05 May 2011 23:23:02 +0200 |
tuned some syntax names;
|
file | diff | annotate |
| Thu, 05 May 2011 23:15:11 +0200 |
tuned rail diagrams and layout;
|
file | diff | annotate |
| Tue, 03 May 2011 15:07:36 +0200 |
formal Base theory;
|
file | diff | annotate |
| Mon, 02 May 2011 01:05:50 +0200 |
modernized rail diagrams using @{rail} antiquotation;
|
file | diff | annotate |
| Fri, 29 Oct 2010 11:49:56 +0200 |
eliminated obsolete \_ escapes in rail environments;
|
file | diff | annotate |
| Sat, 28 Feb 2009 16:39:46 +0100 |
removed Ids;
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:45:40 +0100 |
updated/refined types of Isar language elements, removed special LaTeX macros;
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:43:46 +0100 |
unified use of declaration environment with IsarImplementation;
|
file | diff | annotate |
| Wed, 14 May 2008 20:31:17 +0200 |
proper checking of various Isar elements;
|
file | diff | annotate |
| Thu, 08 May 2008 22:05:15 +0200 |
misc tuning;
|
file | diff | annotate |
| Wed, 07 May 2008 13:38:15 +0200 |
converted ZF specific elements;
|
file | diff | annotate |
| Wed, 07 May 2008 12:38:55 +0200 |
added logic-specific sessions;
|
file | diff | annotate |