| 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
|