| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 14:35:10 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2016 19:43:40 +0100 |
wenzelm |
more explicit dummy proofs;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Thu, 05 Nov 2015 00:17:13 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 22:03:24 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 21:42:14 +0200 |
wenzelm |
redundant due to \parindent 0pt;
|
file |
diff |
annotate
|
| Thu, 13 Nov 2014 23:45:15 +0100 |
wenzelm |
uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
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
|
| Tue, 15 Apr 2014 20:24:49 +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
|