| Wed, 04 Mar 2009 11:05:29 +0100 |
Merge.
|
file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 |
Merge.
|
file | diff | annotate |
| Thu, 26 Feb 2009 20:44:07 +0100 |
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 |
improved sorry/noproof markup;
|
file | diff | annotate |
| Wed, 11 Feb 2009 21:39:12 +0100 |
some more macros;
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:49:46 +0100 |
added pretty printing options (from old ref manual);
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:43:46 +0100 |
unified use of declaration environment with IsarImplementation;
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:40:30 +0100 |
added bind_thm, bind_thms;
|
file | diff | annotate |
| Fri, 09 May 2008 23:19:49 +0200 |
removed obsolete macros for Isar commands etc.;
|
file | diff | annotate |
| Thu, 08 May 2008 22:49:05 +0200 |
removed obsolete macros;
|
file | diff | annotate |
| Sat, 03 May 2008 13:25:27 +0200 |
added \isasymdash;
|
file | diff | annotate |
| Fri, 02 May 2008 22:47:58 +0200 |
use underscore for underscore;
|
file | diff | annotate |
| Fri, 02 May 2008 16:36:05 +0200 |
converted pure.tex to Thy/pure.thy;
|
file | diff | annotate |
| Tue, 29 Apr 2008 13:39:54 +0200 |
more ref macros;
|
file | diff | annotate |
| Tue, 22 Apr 2008 13:35:26 +0200 |
basic setup for generated document (cf. ../IsarImplementation);
|
file | diff | annotate |