aboutsummaryrefslogtreecommitdiffhomepage
path: root/demoisa
Commit message (Expand)AuthorAge
* 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