aboutsummaryrefslogtreecommitdiffhomepage
path: root/acl2/acl2.el
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* More email -> trac renamesGravatar David Aspinall2007-12-14
* Compiler warningsGravatar David Aspinall2004-04-17
* Fix mail addrGravatar David Aspinall2004-04-14
* Update email and web addressesGravatar David Aspinall2004-02-08
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* GPL updateGravatar David Aspinall2002-06-21
* Greatly improved support.Gravatar David Aspinall2002-03-21
* Updated, trimmed down to barebones.Gravatar David Aspinall2000-09-29
* Fix web page, at least.Gravatar David Aspinall2000-09-28
* First (non-working) versions, committed so that doc builds.Gravatar David Aspinall2000-09-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 10:11:37 +0000