aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa
Commit message (Expand)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 -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Layout, comments.Gravatar David Aspinall2002-07-14
* Accidental update; revert to previousGravatar David Aspinall2001-09-03
* RearrangeGravatar David Aspinall2001-09-03
* Updating branchGravatar David Aspinall2001-09-03
* Comment fixGravatar David Aspinall2000-09-29
* Encourage use of demoisa-easy.elGravatar David Aspinall2000-09-14
* Encourage use of demoisa-easy.elGravatar David Aspinall2000-09-14
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* Fixed up proof-shell-proof-completed mess nicely.Gravatar David Aspinall2000-04-07
* Updated Isabelle home page.Gravatar David Aspinall2000-03-23
* New/updated information filesGravatar David Aspinall2000-03-13
* Moved some comments to READMEGravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
* Consider proof-easy-config no-longer experimental.Gravatar David Aspinall1999-11-26
* Bug fix in regexp.Gravatar David Aspinall1999-11-24
* Fix to -with-hole regexpsGravatar David Aspinall1999-11-17
* FormattingGravatar David Aspinall1999-11-17
* Fixed some docstringsGravatar David Aspinall1999-11-17
* Note about setting env variable to test this.Gravatar David Aspinall1999-11-17
* Second version of easy-config, without defvaralias use.Gravatar David Aspinall1999-11-16
* Working version of easy-config.Gravatar David Aspinall1999-11-16
* Fully working Isabelle PG in 30 setqsGravatar David Aspinall1999-11-16
* Added example instantiation demoisaGravatar David Aspinall1999-11-13