merged
Description
Description
Details
Details
- Provenance
Lars Hupel <lars@hupel.info> Authored on - Parents
- rAFP7e1cd1183cd3: sitegen for Continued_Fractions
rAFPba52e1ff7569: adapt to Isabelle/11a1f4d7af51; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Lars Hupel <lars@hupel.info> committed rAFP070dbf86a3c1: merged.Mar 26 2024, 9:18 PM2024-03-26 21:18:31 (UTC+1)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 7b3ccda1eee6 tuned;
- 74a3f7ca4640 tuned lemmasAuthor
- 73b120ffbbc3 use time_fun commandAuthor
- 21a01c3f98d1 mergeAuthor
- 39d02fa56315 adapted to isabelle/develAuthor
- def25b977c4a updated urlAuthor
- 0a317f2db21b tuned proofAuthor
- e08b0a512b1e adapted to Isabelle/2746dfc9ceae;Author
- 845e35e9d4ad more accurate timeout;Author
- bdbc6a865570 non-executable files;Author
- efe28b85919e New version consistent with paperAuthor