| Mon, 08 Jun 2020 21:38:41 +0200 |
wenzelm |
clarified sessions: "Notable Examples in Isabelle/HOL";
|
file |
diff |
annotate
|
| Mon, 08 Jun 2020 15:09:57 +0200 |
wenzelm |
clarified sessions: "Notable Examples in Isabelle/Pure";
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Sun, 20 Nov 2016 16:18:04 +0100 |
wenzelm |
more on Isar proof language;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Wed, 20 Jul 2016 21:26:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Sun, 24 Apr 2016 21:31:14 +0200 |
wenzelm |
added Isar command 'define';
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 14:14:43 +0100 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 11:22:57 +0100 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 10:53:30 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2016 09:32:16 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2016 19:43:40 +0100 |
wenzelm |
more explicit dummy proofs;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 19:11:23 +0100 |
wenzelm |
eliminated obscure macro that is in conflict with amsmath.sty;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
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
|
| 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
|
| Tue, 30 Jun 2015 15:20:56 +0200 |
wenzelm |
renamed "default" to "standard", to make semantically clear what it is;
|
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
|
| 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
|