aboutsummaryrefslogtreecommitdiffhomepage
path: root/plastic/plastic-syntax.el
Commit message (Expand)AuthorAge
* Update from PC, sent 5.8.02Gravatar David Aspinall2002-08-07
* instantiation for "plastic" proof assistantGravatar Paul Callaghan1999-05-11