merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPbdd9c91c0a28: add missing session dependency
rAFPe4023d8e059e: restructure resultant algorithms, so that tuned code-equations are also… - 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.
- e4902fc8dcf9 clarified timeout;Author
- d61e75e1c9ac hide_lams ~> opaque_lifting;Author
- cfa6785b8b7e clarified antiquotations;Author
- 86b3c063b0e2 proper inst table;Author
- 9ebd144ec3db clarified antiquotations;Author
- c275879cb0cc clarified antiquotations;Author
- 3a5b2e80b8d8 proper inst table;Author
- 41bec29178b3 clarified antiquotations;Author
- ee831eca092c clarified antiquotations;Author
- 1cd2d1d235f2 clarified antiquotations;Author
- 1d7311b56474 clarified antiquotations;Author
- 7488bc7fd8cf clarified antiquotations;Author
- 55968f057c7c proper match against const_name;Author
- 354560d7143a clarified antiquotations;Author
- 1b4cd0386415 clarified antiquotations;Author
- 24adb0438823 clarified antiquotations;Author
- 1ab5075701b4 repaired slipAuthor
- dfc972b8491c Backed out changeset ef19e4e58b8cAuthor
- 301f0280d6c6 avoid hardwired document;Author