aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-syntax.el
AgeCommit message (Expand)Author
1998-09-08Added Id and commentsDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 08:31:09 +0000