aboutsummaryrefslogtreecommitdiffhomepage
path: root/acl2
Commit message (Collapse)AuthorAge
* 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 -> ↵Gravatar David Aspinall2002-07-19
| | | | proof-script-comment-{start,end}-regexp.
* 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