| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2004-03-01 | Renamed file | David Aspinall | |
| 2004-03-01 | Renamed file | David Aspinall | |
| 2004-03-01 | Fix buglets shown up by byte compilation. | David Aspinall | |
| 2004-03-01 | Comment. | David Aspinall | |
| 2004-03-01 | Fix/simplify documentation. | David Aspinall | |
| 2004-03-01 | Comment. | David Aspinall | |
| 2004-03-01 | Set version tag for new release. | David Aspinall | |
| 2004-03-01 | Tweak desktop integration; add application-registry. | David Aspinall | |
| 2004-03-01 | New file | David Aspinall | |
| 2004-03-01 | Simplify make call | David Aspinall | |
| 2004-03-01 | Better title | David Aspinall | |
| 2004-03-01 | Tweaks to building tar file to include correct files. Remove golive from ↵ | David Aspinall | |
| fakerelease | |||
| 2004-03-01 | Mention non-Mule XEmacs version probs | David Aspinall | |
| 2004-03-01 | Mention new RPM packages | David Aspinall | |
| 2004-03-01 | fix syntax | David Aspinall | |
| 2004-03-01 | Fix | David Aspinall | |
| 2004-03-01 | Bug in thy-add-menus declaration | David Aspinall | |
| 2004-03-01 | Update to mention multiple packages, etc. | David Aspinall | |
| 2004-02-29 | Add emacs-elc and xemacs-elc sub-packages. | David Aspinall | |
| Rely on the Makefile to do installation. | |||
| 2004-02-29 | Add -q to stop site packages loading during compile | David Aspinall | |
| 2004-02-29 | Beginnings of parsescript support | David Aspinall | |
| 2004-02-29 | Tweak text. Allow choice of Emacs versions, and to work if PG already loaded. | David Aspinall | |
| 2004-02-29 | Add man page, remove ps file from distrib. | David Aspinall | |
| 2004-02-29 | Updated. | David Aspinall | |
| 2004-02-29 | Update. | David Aspinall | |
| 2004-02-29 | Update web addr | David Aspinall | |
| 2004-02-29 | New files. | David Aspinall | |
| 2004-02-29 | Renamed file | David Aspinall | |
| 2004-02-29 | Test cases for Coq indentation. | David Aspinall | |
| 2004-02-29 | Tweaks for install, compiling x-symbol, etc | David Aspinall | |
| 2004-02-29 | Add -no-site-file to batch xemacs. | David Aspinall | |
| 2004-02-29 | Add --emacs options | David Aspinall | |
| 2004-02-28 | Split install-elisp into separate targets for RPM | David Aspinall | |
| 2004-02-28 | Expand: add install targets, editing proofgeneral script, dealing with emacs ↵ | David Aspinall | |
| versions. | |||
| 2004-02-28 | Fix paths | David Aspinall | |
| 2004-02-28 | Robustify (add usage and version info) | David Aspinall | |
| 2004-02-28 | Updated. | David Aspinall | |
| 2004-02-28 | Extend notes. | David Aspinall | |
| 2004-02-28 | Note about desktop integration | David Aspinall | |
| 2004-02-28 | New files. | David Aspinall | |
| 2004-02-28 | Update desktop support to freedesktop.org standards. | David Aspinall | |
| 2004-02-28 | Deleted file | David Aspinall | |
| 2004-02-28 | New files. | David Aspinall | |
| 2004-02-28 | *** empty log message *** | David Aspinall | |
| 2004-02-28 | Fix loc | David Aspinall | |
| 2004-02-28 | New files. | David Aspinall | |
| 2004-02-28 | New files. | David Aspinall | |
| 2004-02-28 | New files. | David Aspinall | |
| 2004-02-28 | Updates of X-Symbol mode text | David Aspinall | |
| 2004-02-28 | Comments. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |