| Sat, 28 Jul 2012 18:20:47 +0200 |
wenzelm |
more on "Session ROOT specifications";
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 15:47:32 +0200 |
wenzelm |
accomodate digits within Isar command names, notably 'try0';
|
file |
diff |
annotate
|
| Sun, 27 Nov 2011 13:12:42 +0100 |
wenzelm |
refined "literal" document style, with some correspondence to actual text source;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:44:05 +0200 |
wenzelm |
use existing \<hyphen>;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:29:25 +0200 |
wenzelm |
simplified rail configuration;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 16:54:26 +0200 |
wenzelm |
sane paragraph layout;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 15:37:17 +0200 |
wenzelm |
tag ML as in IsarImplementation;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 21:59:47 +0200 |
wenzelm |
proper treatment of underscore in rail diagrams;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 20:44:07 +0100 |
wenzelm |
uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities;
|
file |
diff |
annotate
|
| Thu, 12 Feb 2009 21:15:54 +0100 |
wenzelm |
improved sorry/noproof markup;
|
file |
diff |
annotate
|
| Wed, 11 Feb 2009 21:39:12 +0100 |
wenzelm |
some more macros;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:49:46 +0100 |
wenzelm |
added pretty printing options (from old ref manual);
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:43:46 +0100 |
wenzelm |
unified use of declaration environment with IsarImplementation;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 21:40:30 +0100 |
wenzelm |
added bind_thm, bind_thms;
|
file |
diff |
annotate
|
| Fri, 09 May 2008 23:19:49 +0200 |
wenzelm |
removed obsolete macros for Isar commands etc.;
|
file |
diff |
annotate
|
| Thu, 08 May 2008 22:49:05 +0200 |
wenzelm |
removed obsolete macros;
|
file |
diff |
annotate
|
| Sat, 03 May 2008 13:25:27 +0200 |
wenzelm |
added \isasymdash;
|
file |
diff |
annotate
|
| Fri, 02 May 2008 22:47:58 +0200 |
wenzelm |
use underscore for underscore;
|
file |
diff |
annotate
|
| Fri, 02 May 2008 16:36:05 +0200 |
wenzelm |
converted pure.tex to Thy/pure.thy;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2008 13:39:54 +0200 |
wenzelm |
more ref macros;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2008 13:35:26 +0200 |
wenzelm |
basic setup for generated document (cf. ../IsarImplementation);
|
file |
diff |
annotate
|