merged
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rAFPdb414fd99254: merge from afp-2022
rAFPdb93f67adfd0: generalized theory name: euclidean division denotes one particular division… - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Fabian Huch <huch@in.tum.de> committed rAFP81dc8fa19342: merged.Jan 24 2023, 12:33 PM2023-01-24 12:33:34 (UTC+1)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 1678a3e62ecc new entry HoareForDivergenceAuthor
- 218f8b36e463 tuned css;
- 2eadd58953b2 tuned css;
- b6e17fba3920 tuned;
- 5ed170d26665 sitegen for AOTAuthor
- 757cd45633e5 New entry AOTAuthor
- e33b36de67b6 New entry: Synthetic_CompletenessAuthor
- c35d3a21bdeb updated docs;