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-easy.el
Commit message (
Expand
)
Author
Age
*
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
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Layout, comments.
David Aspinall
2002-07-14
*
Comment fix
David Aspinall
2000-09-29
*
Encourage use of demoisa-easy.el
David Aspinall
2000-09-14
*
Encourage use of demoisa-easy.el
David Aspinall
2000-09-14
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
*
Updated Isabelle home page.
David Aspinall
2000-03-23
*
Consider proof-easy-config no-longer experimental.
David Aspinall
1999-11-26
*
Bug fix in regexp.
David Aspinall
1999-11-24
*
Fix to -with-hole regexps
David Aspinall
1999-11-17
*
Formatting
David Aspinall
1999-11-17
*
Fixed some docstrings
David Aspinall
1999-11-17
*
Second version of easy-config, without defvaralias use.
David Aspinall
1999-11-16
*
Working version of easy-config.
David Aspinall
1999-11-16