aboutsummaryrefslogtreecommitdiffhomepage
path: root/acl2
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
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Updated.Gravatar David Aspinall2008-01-15
* 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
* New fileGravatar David Aspinall2004-04-16
* Remove X-Symbol support temporarilyGravatar David Aspinall2004-04-15
* 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
* Remove duplicateGravatar David Aspinall2002-06-08
* Greatly improved support.Gravatar David Aspinall2002-03-21
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* 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-04-19 01:48:42 +0000