summaryrefslogtreecommitdiff
path: root/snapshots/isabelle/ROOTS
AgeCommit message (Expand)Author
2018-07-11Add ROOTS file to Isabelle snapshotThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-13 19:37:20 +0000