Fri, 13 Nov 2015 21:31:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 13 Nov 2015 21:28:57 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Fri, 13 Nov 2015 16:02:59 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
Thu, 05 Nov 2015 00:02:30 +0100 |
wenzelm |
symbolic syntax "\<comment> text";
|
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
|
Sun, 18 Oct 2015 20:28:29 +0200 |
wenzelm |
clarified control antiquotations: decode control symbol to get name;
|
file |
diff |
annotate
|
Sun, 18 Oct 2015 18:09:48 +0200 |
wenzelm |
more documentation;
|
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
|
Tue, 22 Sep 2015 18:56:25 +0200 |
wenzelm |
separate command 'print_definitions';
|
file |
diff |
annotate
|
Mon, 06 Jul 2015 20:13:51 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
Thu, 02 Jul 2015 14:09:43 +0200 |
wenzelm |
documentation for 'subgoal' command;
|
file |
diff |
annotate
|
Wed, 06 May 2015 23:28:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 18 Apr 2015 20:46:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 30 Mar 2015 14:19:45 +0200 |
wenzelm |
more uniform syntax for named instantiations;
|
file |
diff |
annotate
|
Mon, 23 Mar 2015 17:01:47 +0100 |
wenzelm |
clarified syntax category "fixes";
|
file |
diff |
annotate
|
Sat, 01 Nov 2014 15:01:41 +0100 |
wenzelm |
command-line terminator ";" is no longer accepted;
|
file |
diff |
annotate
|
Fri, 31 Oct 2014 11:18:17 +0100 |
wenzelm |
discontinued Proof General;
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 21:44:33 +0200 |
wenzelm |
tuned exposition of {* ... *};
|
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
|
Wed, 09 Apr 2014 17:54:09 +0200 |
wenzelm |
allow text cartouches in regular outer syntax categories "text" and "altstring";
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|