aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-pgip-old.el
AgeCommit message (Expand)Author
2004-08-31Fix backward compatibility with Isabelle 2004.David Aspinall
2004-08-25New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 02:19:34 +0000