| Fri, 29 Sep 2017 22:43:29 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Fri, 29 Sep 2017 22:41:19 +0200 |
wenzelm |
more accurate node_syntax: avoid overall_syntax for PIDE edits;
|
changeset |
files
|
| Fri, 29 Sep 2017 22:12:32 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Sep 2017 21:30:31 +0200 |
wenzelm |
clarified theory syntax vs. overall session syntax;
|
changeset |
files
|
| Fri, 29 Sep 2017 21:03:04 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:41:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:35:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:28:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:03:33 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 28 Sep 2017 15:11:32 +0200 |
wenzelm |
session-qualified theory names are mandatory;
|
changeset |
files
|
| Thu, 28 Sep 2017 11:53:55 +0200 |
wenzelm |
discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
|
changeset |
files
|
| Fri, 29 Sep 2017 16:55:08 +0100 |
paulson |
eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
|
changeset |
files
|
| Fri, 29 Sep 2017 14:17:17 +0100 |
paulson |
Merge (resolved trivial conflict)
|
changeset |
files
|