aboutsummaryrefslogtreecommitdiff
path: root/demoisa
AgeCommit message (Expand)Author
2000-09-29Comment fixDavid Aspinall
2000-09-14Encourage use of demoisa-easy.elDavid Aspinall
2000-09-14Encourage use of demoisa-easy.elDavid Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-23Updated Isabelle home page.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-09Moved some comments to READMEDavid Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
1999-11-26Consider proof-easy-config no-longer experimental.David Aspinall
1999-11-24Bug fix in regexp.David Aspinall
1999-11-17Fix to -with-hole regexpsDavid Aspinall
1999-11-17FormattingDavid Aspinall
1999-11-17Fixed some docstringsDavid Aspinall
1999-11-17Note about setting env variable to test this.David Aspinall
1999-11-16Second version of easy-config, without defvaralias use.David Aspinall
1999-11-16Working version of easy-config.David Aspinall
1999-11-16Fully working Isabelle PG in 30 setqsDavid Aspinall
1999-11-13Added example instantiation demoisaDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 22:45:52 +0000