| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2004-02-26 | little bug correction of holes | Pierre Courtieu | |
| 2004-02-26 | little changes in the holes short doc | Pierre Courtieu | |
| 2004-02-26 | little changes of menu/holes/abbrev in coq/pg | Pierre Courtieu | |
| 2004-02-19 | added menu entries to tactic menus | Pierre Courtieu | |
| 2004-02-19 | added submenus for command insertion for coq. menu uses abbrev | Pierre Courtieu | |
| expansion to build holes. | |||
| 2004-02-19 | added some lines in holes short doc. And some abbrevs for coq. | Pierre Courtieu | |
| 2004-02-19 | added some words to hole short doc | Pierre Courtieu | |
| 2004-02-19 | added some menu entries for coq. | Pierre Courtieu | |
| 2004-02-19 | last commit was incomplete | Pierre Courtieu | |
| 2004-02-18 | Update (C) | David Aspinall | |
| 2004-02-18 | Coq Abbrevs now make holes. I will add a menu with basic command. | Pierre Courtieu | |
| 2004-02-18 | holes implementation, it uses span.el. mouse keybindings work | Pierre Courtieu | |
| correctly for xemacs (any version) and emacs > 21. | |||
| 2004-02-17 | Avoid type error if coq program can't be found during startup. | David Aspinall | |
| 2004-02-16 | forgot some functions in span-extent.el. This is like the previous | Pierre Courtieu | |
| commit, for "holes" integration. | |||
| 2004-02-16 | I added some utility functions in generic/span-overlays.el and | Pierre Courtieu | |
| generic/span-extent.el. This is for my "holes" feature integration. | |||
| 2004-02-11 | Added some interface stuff: | Pierre Courtieu | |
| - an default coq abbrev file, loaded only if no abbrev table exists for coq; - some menu entries and shortcuts for abbrev; - a menu entry for "3 buffers view". | |||
| 2004-02-11 | little error in the syntax corrected. | Pierre Courtieu | |
| 2004-02-10 | Remove offending domain name | David Aspinall | |
| 2004-02-10 | Updated. | David Aspinall | |
| 2004-02-10 | Updated. | David Aspinall | |
| 2004-02-09 | Updated. | David Aspinall | |
| 2004-02-08 | Updated. | David Aspinall | |
| 2004-02-08 | Add logupdate target (still not part of default build process) | David Aspinall | |
| 2004-02-08 | Updated | David Aspinall | |
| 2004-02-08 | Web page todo | David Aspinall | |
| 2004-02-08 | Renamed file | David Aspinall | |
| 2004-02-08 | Updated. | David Aspinall | |
| 2004-02-08 | Fix link | David Aspinall | |
| 2004-02-08 | Updated. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |