merge from afp-2019
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP376e629cc374: sitegen for (fixed) Linear_Programming
rAFPac9400fa6c74: updated to isabelle be8e617b6eb3 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- ac9400fa6c74 updated to isabelle be8e617b6eb3Author
- 4a2afe5fa3af session directoriesAuthor
- 4eef94bbdc16 merge from afp-2019Author
- 0291608f6cee adjusted to develAuthor
- ea6d19f95b3c renamingsAuthor
- d874707a9cd2 proper metadata format;Author
- 98320942654a tuned -- no duplicates;Author
- e97ee9322827 declare session directories;Author
- 8934bbd2f1c6 tuned syntax;Author
- 4dd1561aba40 clarified session directories;Author
- d97b1078fc97 clarified session directories;Author
- 98b3857f87e4 clarified session directories;Author
- 6f26aeb7cac5 clarified session directories;Author
- cc90f69da461 clarified session directories;Author
- 1cf4d6f4de8e non-executable source files;Author
- 838a646468c7 clarified session directories;Author
- 49f30bdba77d more selective importAuthor
- 6f6333e5bb57 O_E_S -> M_AAuthor
- 130a0b12717f more selective Analysis importsAuthor
- e2a39a672da2 tuned Analysis importsAuthor
- 770bcb8c1b45 fixed importsAuthor
- c27732cff594 more selective importsAuthor
- 6f1812b8554b more selective importsAuthor
- 9930bc379f7a more selective importsAuthor
- 451b5fe9a693 more selective importsAuthor