| Wed, 13 Sep 2023 17:08:54 +0000 |
haftmann |
prefer cartouches over quotes for clarity of resulting document
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2019 18:33:53 +0000 |
haftmann |
canonical operation to typeset generated code makes dedicated environment obsolete
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 26 Dec 2018 16:25:20 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Wed, 26 Dec 2018 16:07:28 +0100 |
wenzelm |
tuned -- avoid conflict with cartouche argument;
|
file |
diff |
annotate
|
| Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 21:42:42 +0200 |
wenzelm |
removed old proof method "default";
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 08:13:52 +0100 |
ballarin |
Keyword 'rewrites' identifies rewrite morphisms.
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 15:06:42 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 21:15:10 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 19:47:29 +0200 |
wenzelm |
spelling;
|
file |
diff |
annotate
|