| Mon, 22 Oct 2018 11:34:38 +0200 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Sun, 21 Oct 2018 23:02:52 +0100 |
Angeliki KoutsoukouArgyraki |
tagged 8 theories for the Analysis manual.
|
changeset |
files
|
| Sun, 21 Oct 2018 20:45:01 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 21 Oct 2018 20:44:27 +0200 |
wenzelm |
more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;
|
changeset |
files
|
| Sun, 21 Oct 2018 19:39:46 +0200 |
wenzelm |
more portable tar_options;
|
changeset |
files
|
| Sun, 21 Oct 2018 19:34:11 +0200 |
wenzelm |
check (non-)executable files -- and eliminate them manually from the repository)
|
changeset |
files
|
| Sun, 21 Oct 2018 18:32:33 +0200 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
changeset |
files
|
| Sun, 21 Oct 2018 14:35:46 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 21 Oct 2018 14:25:51 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sun, 21 Oct 2018 16:11:24 +0200 |
wenzelm |
updated PLATFORMS;
|
changeset |
files
|
| Sun, 21 Oct 2018 09:39:09 +0200 |
nipkow |
uniform naming of strong congruence rules
|
changeset |
files
|
| Sun, 21 Oct 2018 08:19:06 +0200 |
nipkow |
added lemma
|
changeset |
files
|