aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa/demoisa.el
Commit message (Collapse)AuthorAge
* Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versionsGravatar David Aspinall2004-03-30
|
* Update email and web addressesGravatar David Aspinall2004-02-08
|
* Add commentGravatar David Aspinall2002-09-14
|
* Variable name change proof-comment-{start,end}-regexp -> ↵Gravatar David Aspinall2002-07-19
| | | | proof-script-comment-{start,end}-regexp.
* Refactor several variable names; clean up, doc subterm markup and output ↵Gravatar David Aspinall2002-07-16
| | | | display.
* Accidental update; revert to previousGravatar David Aspinall2001-09-03
|
* Updating branchGravatar David Aspinall2001-09-03
|
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
|
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
|
* Moved some comments to READMEGravatar David Aspinall2000-03-09
|
* Fix to -with-hole regexpsGravatar David Aspinall1999-11-17
|
* Note about setting env variable to test this.Gravatar David Aspinall1999-11-17
|
* Fully working Isabelle PG in 30 setqsGravatar David Aspinall1999-11-16
|
* Added example instantiation demoisaGravatar David Aspinall1999-11-13