| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-09-27 | Updated web pages, misc improvements. | David Aspinall | |
| 2000-09-27 | Fix bug email address to bugs@proofgeneral.org | David Aspinall | |
| 2000-09-27 | Added ACL2 | David Aspinall | |
| 2000-09-27 | Added yet another new parsing mechanism, bit more rational this time. | David Aspinall | |
| 2000-09-27 | Added bugs that were mentioned in manual | David Aspinall | |
| 2000-09-27 | Dont use customize-set-variable for add splash logo | David Aspinall | |
| 2000-09-27 | Working home page for PG kit | David Aspinall | |
| 2000-09-27 | Added kit stuff: just copies of the DTDs at the moment. | David Aspinall | |
| 2000-09-26 | Fix adding af2 to RPM. | David Aspinall | |
| 2000-09-26 | Remove extra space preventing ChangeLog update. | David Aspinall | |
| 2000-09-26 | Set version tag for new release. | David Aspinall | |
| 2000-09-26 | Link to Isar instead of Isar/README. | David Aspinall | |
| 2000-09-26 | Make backgroundize | David Aspinall | |
| 2000-09-26 | Fix Pauls web address | David Aspinall | |
| 2000-09-26 | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | |
| 2000-09-26 | Updated for 3.2 release | David Aspinall | |
| 2000-09-26 | Typo | David Aspinall | |
| 2000-09-25 | Set version tag for new release. | David Aspinall | |
| 2000-09-25 | Remove twelf from .tar.gz | David Aspinall | |
| 2000-09-25 | Add AF2 to RPM package. | David Aspinall | |
| 2000-09-25 | Added bits from todo for Isabelle | David Aspinall | |
| 2000-09-25 | isa-isatool-command: tuned standard places of Isabelle installation; | Makarius Wenzel | |
| 2000-09-25 | comment: avoid unbalanced quotes; | Makarius Wenzel | |
| 2000-09-23 | Set version tag for new release. | David Aspinall | |
| 2000-09-23 | Updated | David Aspinall | |
| 2000-09-23 | Update date. | David Aspinall | |
| 2000-09-23 | proof-display-some-buffers moves point to end of output in response buffer. | David Aspinall | |
| 2000-09-23 | Forthcoming news item | David Aspinall | |
| 2000-09-23 | Use prover-specific logos rather than generic ones... | David Aspinall | |
| 2000-09-23 | Changed size of image | David Aspinall | |
| 2000-09-23 | Minor | David Aspinall | |
| 2000-09-23 | Removed: | David Aspinall | |
| X Improve efficiency for processing for large proofs (N/A) D Enable toolbar in other PG buffers (done) A Add Pierre's improvement for X-Symbol config (done) A make C-c C-l go to bottom of response buffer while output (done) B New keymap(s) for proof assistants. (done) A Add efficiency improvement by turning on/off prover output. (done) C Make the remaining options in the quick-opts-menu be more (done|N/A) | |||
| 2000-09-23 | Add prover-specific logo rather than generic ones... | David Aspinall | |
| 2000-09-23 | Image of the general with ??? badge | David Aspinall | |
| 2000-09-23 | Add Pierre's tweak | David Aspinall | |
| 2000-09-23 | Standard poor X-Symbol support for twelf. | David Aspinall | |
| 2000-09-23 | Changes: (actually in previous version) | David Aspinall | |
| - Undoing comments with FSF Emacs fixed (thanks to Christophe Raffalli) - C-x C-v and C-x C-w supposed fixed. - have added proof-shell-important-settings - confused (initialization) bug: assumed fixed. - proof-shell-handle-error-hook has gone - rpm relocatability improved - Added auto-autoloads - proof-goals-display-qed-message has gone - added mechanism to close goal....<nosave> goal.... sequences - Removed unimportant X's: * X Consider filtering out special annotations from shell buffer | |||
| 2000-09-23 | Deleted file | David Aspinall | |
| 2000-09-23 | proof-display-some-buffers improved: toggles between goals and response in | David Aspinall | |
| 2-pane mode | |||
| 2000-09-23 | Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵ | David Aspinall | |
| Add proof-with-script-buffer. | |||
| 2000-09-23 | Always activate bug fix -- this file only loaded for FSF Emacs. | David Aspinall | |
| 2000-09-23 | Make toolbar enablers work appropriately from non-scripting buffers | David Aspinall | |
| Remove support for obsolete 1-bit xbm images Update comments | |||
| 2000-09-23 | Call (proof-toolbar-setup) to add toolbar to goals and response buffer | David Aspinall | |
| Unify goals and response menus with script buffer menu | |||
| 2000-09-23 | Deleted file | David Aspinall | |
| 2000-09-23 | Remove require on proof-depends | David Aspinall | |
| Make toolbar commands work from non-scripting buffers Add save file dialogue to proof-register-possibly-new-processed-file | |||
| 2000-09-23 | Update comments | David Aspinall | |
| 2000-09-23 | Updated | David Aspinall | |
| 2000-09-23 | Improved(?) goto button | David Aspinall | |
| 2000-09-23 | Remove obsolete xbms | David Aspinall | |
| 2000-09-23 | Remove xbm's | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |