| Fri, 09 Oct 2009 10:00:47 +0200 |
term styles also cover antiquotations term_type and typeof
|
file | diff | annotate |
| Thu, 08 Oct 2009 15:59:15 +0200 |
corrected syntax diagrams for styles
|
file | diff | annotate |
| Thu, 08 Oct 2009 15:16:13 +0200 |
new generalized concept for term styles
|
file | diff | annotate |
| Mon, 09 Mar 2009 21:25:33 +0100 |
markup antiquotation options;
|
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 |
| Thu, 13 Nov 2008 21:33:15 +0100 |
updated section "Markup via command tags";
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:32:36 +0100 |
renamed "formal comments" to "document comments";
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:30:41 +0100 |
tuned "Markup commands";
|
file | diff | annotate |
| Thu, 13 Nov 2008 21:29:19 +0100 |
tuned intro of "Document preparation";
|
file | diff | annotate |
| Sat, 04 Oct 2008 17:40:56 +0200 |
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
|
file | diff | annotate |
| Thu, 14 Aug 2008 21:06:07 +0200 |
[source=false] for quoted antiquotation avoids quote-escapes in output;
|
file | diff | annotate |
| Thu, 03 Jul 2008 11:16:07 +0200 |
added lemma antiquotation
|
file | diff | annotate |
| Tue, 03 Jun 2008 00:03:52 +0200 |
tuned;
|
file | diff | annotate |
| Mon, 02 Jun 2008 23:38:24 +0200 |
moved header command here;
|
file | diff | annotate |
| Mon, 02 Jun 2008 22:50:54 +0200 |
added Document_Preparation;
|
file | diff | annotate |