aboutsummaryrefslogtreecommitdiff
path: root/demoisa/demoisa.el
AgeCommit message (Expand)Author
2010-08-25Renamed from demoisa/demoisa.el to obsolete/demoisa/demoisa.elDavid Aspinall
2009-09-10Missing requiresDavid Aspinall
2009-09-05Clean whitespaceDavid 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-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
2001-09-03Accidental update; revert to previousDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-07Fixed up proof-shell-proof-completed mess nicely.David Aspinall
2000-03-09Moved some comments to READMEDavid Aspinall
1999-11-17Fix to -with-hole regexpsDavid Aspinall
1999-11-17Note about setting env variable to test this.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-03-08 05:46:32 +0000