aboutsummaryrefslogtreecommitdiff
path: root/etc/isar/XEmacsSyntacticContextProb.thy
AgeCommit message (Expand)Author
2001-08-10Bug test case, note workaround dateDavid Aspinall
2001-08-10Bug test caseDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 18:35:37 +0000