Rename ods to tods#78
Merged
safrazier17 merged 43 commits intocal-itp:mainfrom isabelle-dr:rename-TODSNov 19, 2024
+245-245
Commits
Commits on Aug 13, 2024
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Sep 9, 2024
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Oct 9, 2024
Commits on Nov 11, 2024
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored