aboutsummaryrefslogtreecommitdiff
path: root/acl2
AgeCommit message (Expand)Author
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14More email -> trac renamesDavid Aspinall
2004-04-17Compiler warningsDavid Aspinall
2004-04-16New fileDavid Aspinall
2004-04-15Remove X-Symbol support temporarilyDavid Aspinall
2004-04-14Fix mail addrDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-06-21GPL updateDavid Aspinall
2002-06-08Remove duplicateDavid Aspinall
2002-03-21Greatly improved support.David Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2000-09-29Updated, trimmed down to barebones.David Aspinall
2000-09-28Fix web page, at least.David Aspinall
2000-09-28First (non-working) versions, committed so that doc builds.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:02:12 +0000