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
/
acl2.el
Commit message (
Expand
)
Author
Age
*
Fix remaining uses of CL; Make files more declarative
Stefan Monnier
2018-12-14
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Update the documentation and prepare the release 4.4.
Erik Martin-Dorel
2016-09-18
*
Clean whitespace
David Aspinall
2009-09-05
*
Remove proof-shell-prompt-pattern, no longer used.
David Aspinall
2009-09-04
*
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
*
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
*
Greatly improved support.
David Aspinall
2002-03-21
*
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