aboutsummaryrefslogtreecommitdiff
path: root/demoisa
AgeCommit message (Expand)Author
2010-08-25Renamed from demoisa/demoisa.el to obsolete/demoisa/demoisa.elDavid Aspinall
2010-08-25Renamed from demoisa/demoisa-easy.el to obsolete/demoisa/demoisa-easy.elDavid Aspinall
2010-08-25Renamed from demoisa/README to obsolete/demoisa/READMEDavid Aspinall
2009-09-10Missing requiresDavid Aspinall
2009-09-07require proof-site also at startupDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-08-31UpdatedDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2004-03-30Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versionsDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-09-14Add commentDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-14Layout, comments.David Aspinall
2001-09-03Accidental update; revert to previousDavid Aspinall
2001-09-03RearrangeDavid Aspinall
2001-09-03Updating branchDavid Aspinall
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-17 21:22:23 +0000