| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Change info dir entry to appear next to Proof General entry. |  David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Set version tag for new release. | David Aspinall | 2001-05-08 | |
| * | Change DEVELDOWNLOAD to edit correct file | David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Add a line to clear out build root. | David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Forgot to make BUILD dir. | David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Fix cut and past tab error | David Aspinall | 2001-05-08 | |
| * | rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta... | David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Clean out NAME, force link. | David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Include a few files from etc in the distribution, esp .spec file | David Aspinall | 2001-05-08 | |
| * | *** empty log message *** | David Aspinall | 2001-05-08 | |
| * | Deleted files. | David Aspinall | 2001-05-08 | |
| * | Updated. | David Aspinall | 2001-05-08 | |
| * | Fix section title for makeinfo | David Aspinall | 2001-05-08 | |
| * | Set version tag for new release. | David Aspinall | 2001-05-08 | |
| * | Dont make SRPM any more. Use rpm -tb to build binary package from tarball | David Aspinall | 2001-05-08 | |
| * | Updates | David Aspinall | 2001-05-08 | |
| * | Updates, removal of patch so that rpm -ta works | David Aspinall | 2001-05-08 | |
| * | Updates for 3.3 | David Aspinall | 2001-05-08 | |
| * | Fixes for fontification in Xemacs 21.4 | David Aspinall | 2001-05-08 | |
| * | Copyright date updated | David Aspinall | 2001-05-08 | |
| * | Add Markus to list of authors | David Aspinall | 2001-05-08 | |
| * | preliminary -> experimental | David Aspinall | 2001-05-08 | |
| * | No longer distrib SRPM | David Aspinall | 2001-05-08 | |
| * | New news item | David Aspinall | 2001-05-08 | |
| * | change for Emacs compatibility and FSF/Xemacs update. Copyright update. | David Aspinall | 2001-05-03 | |
| * | Emacs fix (extent->span). Copyright update. | David Aspinall | 2001-05-03 | |
| * | Updated. | David Aspinall | 2001-05-01 | |
| * | Try to disable image for now | David Aspinall | 2001-05-01 | |
| * | Set version tag for new release. | David Aspinall | 2001-05-01 | |
| * | Change link to kit | David Aspinall | 2001-05-01 | |
| * | Change link to register page | David Aspinall | 2001-05-01 | |
| * | Include php file | David Aspinall | 2001-05-01 | |
| * | Register and kit shortcuts | David Aspinall | 2001-05-01 | |
| * | Link to php files instead of html | David Aspinall | 2001-05-01 | |
| * | Include php instead of html | David Aspinall | 2001-05-01 | |
| * | Rename some html files php | David Aspinall | 2001-05-01 | |
| * | Deleted files. | David Aspinall | 2001-05-01 | |
| * | Modification of proof-script-command-end-regexp to allow commands |  Pierre Courtieu | 2001-04-10 | |
| * | Updated. | David Aspinall | 2001-03-20 | |
| * | Updated. | David Aspinall | 2001-03-20 | |
| * | Fixes to main page | David Aspinall | 2001-03-20 | |
| * | Change to my canonical www.dcs web address | David Aspinall | 2001-03-20 | |
| * | Remove proofgeneral.org on main page | David Aspinall | 2001-03-20 | |
| * | Updated. | David Aspinall | 2001-03-20 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |