aboutsummaryrefslogtreecommitdiff
path: root/demoisa/demoisa-easy.el
AgeCommit message (Expand)Author
2010-08-25Renamed from demoisa/demoisa-easy.el to obsolete/demoisa/demoisa-easy.elDavid Aspinall
2009-09-07require proof-site also at startupDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David 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-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-14Layout, comments.David 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-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-23Updated Isabelle home page.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-16Second version of easy-config, without defvaralias use.David Aspinall
1999-11-16Working version of easy-config.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 07:54:33 +0000