Wed, 21 Sep 2016 22:43:06 +0200 |
wenzelm |
more general mixfix delimiters;
|
file |
diff |
annotate
|
Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Sat, 06 Aug 2016 18:14:59 +0200 |
wenzelm |
more informative 'prf' and 'full_prf', based on HOL/Proofs/ex/XML_Data.thy;
|
file |
diff |
annotate
|
Wed, 20 Jul 2016 21:26:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
Tue, 24 May 2016 16:03:03 +0200 |
wenzelm |
clarified syntax category names according to Isabelle/ML/Scala;
|
file |
diff |
annotate
|
Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 21:34:51 +0200 |
wenzelm |
documentation;
|
file |
diff |
annotate
|
Fri, 01 Apr 2016 16:15:31 +0200 |
wenzelm |
explicit property for unbreakable block;
|
file |
diff |
annotate
|
Sat, 09 Jan 2016 12:35:07 +0100 |
wenzelm |
discontinued \<struct> syntax;
|
file |
diff |
annotate
|
Fri, 08 Jan 2016 20:06:48 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Wed, 30 Dec 2015 21:10:19 +0100 |
wenzelm |
updated print modes;
|
file |
diff |
annotate
|
Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
Wed, 04 Nov 2015 18:32:47 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
Wed, 21 Oct 2015 00:23:11 +0200 |
wenzelm |
proper spaces around @{text};
|
file |
diff |
annotate
|
Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
Sun, 18 Oct 2015 22:57:09 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
Sat, 17 Oct 2015 19:26:34 +0200 |
wenzelm |
clarified nesting of paragraphs: indentation is taken into account more uniformly;
|
file |
diff |
annotate
|
Fri, 16 Oct 2015 14:53:26 +0200 |
wenzelm |
Markdown support in document text;
|
file |
diff |
annotate
|
Wed, 14 Oct 2015 15:10:32 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Mon, 12 Oct 2015 22:03:24 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Mon, 12 Oct 2015 19:32:25 +0200 |
wenzelm |
@{verbatim [display]} supersedes old alltt/ttbox;
|
file |
diff |
annotate
|
Wed, 09 Sep 2015 14:47:41 +0200 |
wenzelm |
eliminated \<Colon> from syntax of constraints;
|
file |
diff |
annotate
|
Wed, 06 May 2015 23:28:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 04 May 2015 19:55:30 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
Mon, 23 Mar 2015 15:55:41 +0100 |
wenzelm |
tuned syntax diagrams -- no duplication of "target";
|
file |
diff |
annotate
|
Fri, 31 Oct 2014 11:18:17 +0100 |
wenzelm |
discontinued Proof General;
|
file |
diff |
annotate
|
Wed, 22 Oct 2014 11:24:48 +0200 |
wenzelm |
repaired rail diagram (cf. 8450b944e58a);
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 21:48:03 +0200 |
wenzelm |
more accurate approximation of AST;
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 21:32:54 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 22:24:07 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
Mon, 22 Sep 2014 21:28:57 +0200 |
wenzelm |
discontinued old "xnum" token category;
|
file |
diff |
annotate
|
Sun, 21 Sep 2014 16:56:11 +0200 |
haftmann |
explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
|
file |
diff |
annotate
|
Sun, 21 Sep 2014 16:56:06 +0200 |
haftmann |
corrected slip in documentation
|
file |
diff |
annotate
|
Tue, 01 Jul 2014 20:43:51 +0200 |
wenzelm |
more on ML options;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 00:21:31 +0200 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|