aboutsummaryrefslogtreecommitdiffhomepage
path: root/plastic
Commit message (Expand)AuthorAge
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27
* changed use of proof-send (OLD) to proof-shell-insertGravatar Paul Callaghan1999-05-12
* instantiation for "plastic" proof assistantGravatar Paul Callaghan1999-05-11