summaryrefslogtreecommitdiff
path: root/tools/Scanner/Xml/Parser.lean
AgeCommit message (Collapse)Author
2026-04-10update leanHannes Schulze
generated by cgit v1.3.1 (git 2.54.0) at 2026-11-10 11:22:57 +0000