| 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
|
| Mon, 24 Sep 2018 16:09:27 +0200 |
nipkow |
more conversion from ( * ) to (*)
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:21:49 +0100 |
nipkow |
Manual updates towards conversion of "op" syntax
|
file |
diff |
annotate
|
| Thu, 25 Aug 2016 20:08:41 +0200 |
ballarin |
Back to original example theorem.
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Tue, 05 Jul 2016 18:00:21 +0200 |
blanchet |
avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)
|
file |
diff |
annotate
|
| Tue, 05 Jul 2016 17:52:08 +0200 |
blanchet |
typo (reported by Anders Schlichtkrull)
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 23:02:12 +0100 |
ballarin |
Updates to the revision history of the locales tutorial.
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 23:02:07 +0100 |
ballarin |
Clarify locale qualifiers: output and tutorial.
|
file |
diff |
annotate
|
| Wed, 18 Nov 2015 21:18:33 +0100 |
ballarin |
Refine the supression of abbreviations for morphisms that are not identities.
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 08:13:52 +0100 |
ballarin |
Keyword 'rewrites' identifies rewrite morphisms.
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 08:13:49 +0100 |
ballarin |
Qualifiers in locale expressions default to mandatory regardless of the command.
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 21:15:10 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 22:35:11 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Tue, 22 Jul 2014 14:52:35 +0200 |
wenzelm |
discontinued presumable workarounds for extra inter-theory space, which are obsolete since 0e5fa27d3293;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 12:22:23 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|