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