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
Commit message (
Expand
)
Author
Age
*
pbp-mode -> goals-mode
David Aspinall
2000-04-07
*
Fixed up proof-shell-proof-completed mess nicely.
David Aspinall
2000-04-07
*
Updated Isabelle home page.
David Aspinall
2000-03-23
*
New/updated information files
David Aspinall
2000-03-13
*
Moved some comments to README
David Aspinall
2000-03-09
*
Added README files for each prover, summarizing status.
David Aspinall
2000-03-09
*
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
*
Note about setting env variable to test this.
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
*
Fully working Isabelle PG in 30 setqs
David Aspinall
1999-11-16
*
Added example instantiation demoisa
David Aspinall
1999-11-13