Merge from default, esp JinjaDCI
Description
Description
Details
Details
- Provenance
Susannah Mansky <susannahej@gmail.com> Authored on - Parents
- rAFP5090fd532062: Updating Jinja from apply-style to Isar-style
rAFP824ba5ec1ce6: merge from afp-2020 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Susannah Mansky <susannahej@gmail.com> committed rAFP6d1a140d53a0: Merge from default, esp JinjaDCI.Jan 27 2021, 8:03 PM2021-01-27 20:03:34 (UTC+1)
Merged Changes
Merged Changes
- adb5f30f4f34 integrate RBT_Impl optimizationsAuthor
- 02a4bc4b6ee8 non-executable files;Author
- eb0cc2599588 adjustments for Word_Lib updatesAuthor
- 2332e6e5e05e sync with l4vAuthor
- 6bb5c735fb18 allow instance for natAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged