| Fri, 22 Nov 2013 20:54:26 +0100 |
wenzelm |
exclude gzipped files from document model, to avoid confusion about actual file name and content;
|
changeset |
files
|
| Fri, 22 Nov 2013 20:37:19 +0100 |
wenzelm |
more .hgignore;
|
changeset |
files
|
| Fri, 22 Nov 2013 20:36:57 +0100 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Fri, 22 Nov 2013 20:28:49 +0100 |
wenzelm |
more total master_directory -- NB: this is used outside command transactions (see also 92961f196d9e);
|
changeset |
files
|
| Fri, 22 Nov 2013 13:42:00 +0100 |
blanchet |
correctly account for dead variables when naming set functions
|
changeset |
files
|
| Thu, 21 Nov 2013 21:33:34 +0100 |
blanchet |
compile
|
changeset |
files
|
| Thu, 21 Nov 2013 21:33:34 +0100 |
blanchet |
rationalize imports
|
changeset |
files
|
| Thu, 21 Nov 2013 21:33:34 +0100 |
blanchet |
eliminated Sledgehammer's dependency on old-style datatypes
|
changeset |
files
|
| Thu, 21 Nov 2013 21:33:34 +0100 |
blanchet |
moved meson up the dependency chain
|
changeset |
files
|
| Thu, 21 Nov 2013 21:33:34 +0100 |
blanchet |
moving 'Order_Relation' to 'HOL' (since it's a BNF dependency)
|
changeset |
files
|
| Thu, 21 Nov 2013 21:33:34 +0100 |
blanchet |
fixed apparent copy-paste bug
|
changeset |
files
|
| Thu, 21 Nov 2013 19:13:49 +0100 |
wenzelm |
merged
|
changeset |
files
|