Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Fix plastic-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 | |
| | ||||
* | Fix isar-shell-adjust-line-width for mutliple frame mode. | David Aspinall | 2005-08-14 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2005-08-10 | |
| | ||||
* | Updated. | David Aspinall | 2005-08-10 | |
| | ||||
* | Include proofgeneral.1 target. Fix make->(MAKE) | David Aspinall | 2005-08-10 | |
| | ||||
* | Update year | David Aspinall | 2005-08-10 | |
| | ||||
* | Updated. | David Aspinall | 2005-08-10 | |
| | ||||
* | Fix to help menu from Timothy Bourke | David Aspinall | 2005-08-10 | |
| | ||||
* | Move some keybindings from script mode to universal keys | David Aspinall | 2005-08-10 | |
| | ||||
* | Documentation. | David Aspinall | 2005-08-09 | |
| | ||||
* | next-error-regexp seems to have broken; fix it against current Isabelle CVS. | David Aspinall | 2005-08-09 | |
| | ||||
* | proof-defshortcut isar-bold; | Makarius Wenzel | 2005-08-08 | |
| | ||||
* | Resolve buffer for background resolution prover (Claire Quigley) | David Aspinall | 2005-07-27 | |
| | ||||
* | tuned; | Makarius Wenzel | 2005-07-19 | |
| | ||||
* | Try to avoid packaging elcs inadvertently | David Aspinall | 2005-07-15 | |
| | ||||
* | Add proof-general-version-year | David Aspinall | 2005-07-15 | |
| | ||||
* | fix tar arg order | David Aspinall | 2005-07-15 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2005-07-15 | |
| | ||||
* | Tweak headers for FC4 build | David Aspinall | 2005-07-15 | |
| | ||||
* | Fix distclean to remove x-symbol elc files | David Aspinall | 2005-07-15 | |
| | ||||
* | Missing proof-compat in proof-splash | David Aspinall | 2005-07-15 | |
| | ||||
* | Update to match desktop entry spec 0.9.4 | David Aspinall | 2005-07-15 | |
| | ||||
* | Add alpha to fit modern themes | David Aspinall | 2005-07-15 | |
| | ||||
* | Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4 | David Aspinall | 2005-07-15 | |
| | ||||
* | Updated. | David Aspinall | 2005-07-15 | |
| | ||||
* | *** empty log message *** | Christophe Raffalli | 2005-07-05 | |
| | ||||
* | *** empty log message *** | Christophe Raffalli | 2005-07-05 | |
| | ||||
* | tuned isar-goals-font-lock-keywords; | Makarius Wenzel | 2005-06-26 | |
| | ||||
* | more general goal pattern; | Makarius Wenzel | 2005-06-24 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2005-06-02 | |
| | ||||
* | Update FAQ #1 | David Aspinall | 2005-06-02 | |
| | ||||
* | Key bindings for proof-shell-exit, proof-shell-start. | David Aspinall | 2005-05-31 | |
| | ||||
* | Comments. | David Aspinall | 2005-05-31 | |
| | ||||
* | Document proof-shell-start, proof-shell-exit keys | David Aspinall | 2005-05-31 | |
| | ||||
* | use physical path; | Makarius Wenzel | 2005-05-31 | |
| | ||||
* | tuned; | Makarius Wenzel | 2005-05-31 | |
| | ||||
* | removed find_rwrites, print_intros; | Makarius Wenzel | 2005-05-22 | |
| | ||||
* | Updated. | David Aspinall | 2005-05-17 | |
| | ||||
* | Fix menu path to Customize | David Aspinall | 2005-05-17 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2005-05-17 | |
| | ||||
* | - Don't just reuse visible frames but also iconified ones. | David Aspinall | 2005-05-17 | |
| | | | | | | - When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear. | |||
* | Documentation. | David Aspinall | 2005-05-17 | |
| | ||||
* | Disable Twelf support by default | David Aspinall | 2005-05-17 | |
| | ||||
* | Fix the removal of ".UTF-8" from LANG. | David Aspinall | 2005-05-17 | |
| | ||||
* | Updated. | David Aspinall | 2005-05-17 | |
| | ||||
* | Add missing lib/ | David Aspinall | 2005-05-17 | |
| | ||||
* | - shell-command-to-string can fail in various corner cases. | David Aspinall | 2005-05-17 | |
| | ||||
* | - Remove wrong docstring on make-detached-span. | David Aspinall | 2005-05-17 | |
| | | | | | | | - Basically rewrite span-overlay.el to better use the built-in overlay facilities. - Complain about the namespace pollution in span*.el. | |||
* | Deleted file | David Aspinall | 2005-05-17 | |
| | ||||
* | Updated. | David Aspinall | 2005-05-17 | |
| |