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 (
Collapse
)
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
|
*
Variable name change proof-comment-{start,end}-regexp -> ↵
David Aspinall
2002-07-19
|
|
|
|
proof-script-comment-{start,end}-regexp.
*
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