index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
acl2
Commit message (
Expand
)
Author
Age
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Updated.
David Aspinall
2008-01-15
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
More email -> trac renames
David Aspinall
2007-12-14
*
Compiler warnings
David Aspinall
2004-04-17
*
New file
David Aspinall
2004-04-16
*
Remove X-Symbol support temporarily
David Aspinall
2004-04-15
*
Fix mail addr
David Aspinall
2004-04-14
*
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
*
GPL update
David Aspinall
2002-06-21
*
Remove duplicate
David Aspinall
2002-06-08
*
Greatly improved support.
David Aspinall
2002-03-21
*
Add specific install instrs, rearrange.
David Aspinall
2001-09-03
*
Updated, trimmed down to barebones.
David Aspinall
2000-09-29
*
Fix web page, at least.
David Aspinall
2000-09-28
*
First (non-working) versions, committed so that doc builds.
David Aspinall
2000-09-28