merge from afp-2019
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPd67fe5c0503b: website update
rAFPdeab09fedc87: Grant acknowledgement for ALEXANDRIA (ERC Project 742178) - 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.
- c210ece1391e Word_Lib: document buildAuthor
- 16b636683e92 Word_Lib: contributions from l4vAuthor
- de0c57e464f7 revert change to ~~ syntaxAuthor
- 171b62f0789a A new lemmaAuthor
- 7c537805ccf2 some new lemmasAuthor
- d4e2b44208ee tuned whitespace;Author
- 29f2271f9455 a few new lemmasAuthor
- 0a8ecf7a601e fixed broken proofsAuthor
- 474f409ebe72 fixed broken proofAuthor
- e8d45180636f merge from AFP 2019Author