aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-indent.el
AgeCommit message (Collapse)Author
1998-09-08Added IdDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 01:44:06 +0000