Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated. | 2002-08-29 | |
| | |||
* | Updated. | 2002-08-29 | |
| | |||
* | pre 3.4 -> 3.5 | 2002-08-29 | |
| | |||
* | Updated. | 2002-08-29 | |
| | |||
* | Updated. | 2002-08-29 | |
| | |||
* | bugs file ignored | 2002-08-08 | |
| | |||
* | Add lclam | 2002-08-08 | |
| | |||
* | Variable name change proof-comment-{start,end}-regexp -> ↵ | 2002-07-19 | |
| | | | | proof-script-comment-{start,end}-regexp. | ||
* | Ignore todo.defunct | 2002-07-19 | |
| | |||
* | Add todo to tags | 2002-07-19 | |
| | |||
* | Try to fix latest link | 2002-07-18 | |
| | |||
* | Fix crucial typo | 2002-07-16 | |
| | |||
* | Make tags for both manuals. | 2002-07-16 | |
| | |||
* | Tweak link creation/deletion | 2002-07-16 | |
| | |||
* | Link in LATESTNAME | 2002-07-16 | |
| | |||
* | Do not link devel release. Fix releasefinal to do that. | 2002-07-15 | |
| | |||
* | Flag on cp | 2002-07-14 | |
| | |||
* | Add prune to update | 2002-07-14 | |
| | |||
* | Try to debug | 2002-07-14 | |
| | |||
* | Revert accidental commit by crr | 2002-03-21 | |
| | |||
* | added hook: proof-before-fontify-output-hook | 2002-03-21 | |
| | |||
* | Remove latest-src-rpm link | 2002-02-14 | |
| | |||
* | Fixup copying of releasename link | 2001-09-09 | |
| | |||
* | Finished shift to 3.4 | 2001-09-09 | |
| | |||
* | Update for 3.4pre | 2001-09-09 | |
| | |||
* | Put all in dist except pgkit | 2001-08-10 | |
| | |||
* | Change DEVELDOWNLOAD to edit correct file | 2001-05-08 | |
| | |||
* | Forgot to make BUILD dir. | 2001-05-08 | |
| | |||
* | Fix cut and past tab error | 2001-05-08 | |
| | |||
* | rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ↵ | 2001-05-08 | |
| | | | | tar file | ||
* | Clean out NAME, force link. | 2001-05-08 | |
| | |||
* | Include a few files from etc in the distribution, esp .spec file | 2001-05-08 | |
| | |||
* | Dont make SRPM any more. Use rpm -tb to build binary package from tarball | 2001-05-08 | |
| | |||
* | Name change af2 -> phox | 2000-12-07 | |
| | |||
* | Second part of moving to 3.3pre series. | 2000-10-19 | |
| | |||
* | Begin move to 3.3 series. | 2000-10-18 | |
| | |||
* | Warning about duplicate ChangeLog entries | 2000-10-02 | |
| | |||
* | Tweak to ChangeLog production | 2000-10-02 | |
| | |||
* | Remove ps and pdf for PG-adapting from distrib to redue size to normal ↵ | 2000-10-02 | |
| | | | | proportions. | ||
* | Fix ChangeLog target so makes prefix properly. Revert to keeping ↵ | 2000-09-29 | |
| | | | | uncompressed file in repo. | ||
* | Add acl2 and twelf to elisp dirs | 2000-09-29 | |
| | |||
* | ChangeLog is just last 1000 lines, instead of 11000 starting in 1996... | 2000-09-29 | |
| | |||
* | twelf and acl2 are in ordinary dist | 2000-09-29 | |
| | |||
* | phtml -> html | 2000-09-28 | |
| | |||
* | proofgeneral email address for me | 2000-09-27 | |
| | |||
* | Remove extra space preventing ChangeLog update. | 2000-09-26 | |
| | |||
* | Remove twelf from .tar.gz | 2000-09-25 | |
| | |||
* | Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵ | 2000-09-21 | |
| | | | | tars (why was it done?). | ||
* | Changed ChangeLog target to use rcs2log directly. Added developer's ↵ | 2000-09-21 | |
| | | | | details, correct emails. | ||
* | Make ordinary dist before develdist, because dist clears build dir... whoops. | 2000-09-12 | |
| |