index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
demoisa
/
demoisa.el
Commit message (
Expand
)
Author
Age
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versions
David Aspinall
2004-03-30
*
Update email and web addresses
David Aspinall
2004-02-08
*
Add comment
David Aspinall
2002-09-14
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Accidental update; revert to previous
David Aspinall
2001-09-03
*
Updating branch
David Aspinall
2001-09-03
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
*
Moved some comments to README
David Aspinall
2000-03-09
*
Fix to -with-hole regexps
David Aspinall
1999-11-17
*
Note about setting env variable to test this.
David Aspinall
1999-11-17
*
Fully working Isabelle PG in 30 setqs
David Aspinall
1999-11-16
*
Added example instantiation demoisa
David Aspinall
1999-11-13