Thu, 28 Oct 2021 20:04:06 +0200 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
Thu, 28 Oct 2021 20:01:59 +0200 |
wenzelm |
clarified antiquotations;
|
changeset |
files
|
Thu, 28 Oct 2021 18:37:33 +0200 |
wenzelm |
support for "lemma";
|
changeset |
files
|
Thu, 28 Oct 2021 13:20:45 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 28 Oct 2021 13:13:48 +0200 |
wenzelm |
local fixes for "lemma" antiquotation;
|
changeset |
files
|
Thu, 28 Oct 2021 12:25:47 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
Thu, 28 Oct 2021 12:14:53 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 28 Oct 2021 12:09:58 +0200 |
wenzelm |
clarified keywords: major take precedence for commands, but not used for antiquotations;
|
changeset |
files
|
Thu, 28 Oct 2021 11:37:49 +0200 |
wenzelm |
tuned modules;
|
changeset |
files
|
Wed, 27 Oct 2021 20:07:13 +0200 |
wenzelm |
more antiquotations;
|
changeset |
files
|
Wed, 27 Oct 2021 11:47:42 +0100 |
paulson |
moved a theorem to a sensible place
|
changeset |
files
|
Tue, 26 Oct 2021 22:58:20 +0200 |
wenzelm |
merged
|
changeset |
files
|