| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2000-09-21 | Slightly shorter name for info dir entry. | David Aspinall | |
| 2000-09-21 | Set version tag for new release. | David Aspinall | |
| 2000-09-21 | Fix globbing some more. | David Aspinall | |
| 2000-09-21 | Fix for rpm braindead globbing. | David Aspinall | |
| 2000-09-21 | Fix infodir entry, it got broken somehow. | David Aspinall | |
| 2000-09-21 | Add PG-adapting to info files. | David Aspinall | |
| 2000-09-21 | tweak 'x-symbol-image-converter to avoid confusing warning; | Makarius Wenzel | |
| 2000-09-21 | use plain /bin/sh instead of bash; | Makarius Wenzel | |
| 2000-09-21 | Added Prefixes: tag | David Aspinall | |
| 2000-09-21 | Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵ | David Aspinall | |
| tars (why was it done?). | |||
| 2000-09-21 | Make PG-adapting first so index.html left pointing to main manual | David Aspinall | |
| 2000-09-21 | added Isabelle symbols for parendblleft/parendblright glyphs (will be | Makarius Wenzel | |
| present in X-Symbol-3.3e; should not cause problems with older versions); | |||
| 2000-09-21 | Newlines. | David Aspinall | |
| 2000-09-21 | Tweaked abort button | David Aspinall | |
| 2000-09-21 | Improved adding more lisp code chapter. | David Aspinall | |
| 2000-09-21 | Changed ChangeLog target to use rcs2log directly. Added developer's ↵ | David Aspinall | |
| details, correct emails. | |||
| 2000-09-21 | Removed blurry distinction between block-comment and comment in FSF's ↵ | David Aspinall | |
| buffer-syntactic-context | |||
| 2000-09-21 | ** D support proof-next-error? | Makarius Wenzel | |
| 2000-09-21 | tuned comment; | Makarius Wenzel | |
| 2000-09-21 | bug2: Resolved as of 17.9.00; | Makarius Wenzel | |
| 2000-09-21 | fixed "Dagstuhl"; | Makarius Wenzel | |
| 2000-09-21 | done: exit isar; | Makarius Wenzel | |
| added comment about output performance; | |||
| 2000-09-20 | added -X option; | Makarius Wenzel | |
| 2000-09-20 | Set version tag for new release. | David Aspinall | |
| 2000-09-20 | Comments | David Aspinall | |
| 2000-09-20 | Disable toolbar enablers on win32. | David Aspinall | |
| 2000-09-20 | New generated buttons. | David Aspinall | |
| 2000-09-20 | Add new button | David Aspinall | |
| 2000-09-20 | added abort button | Christophe Raffalli | |
| 2000-09-20 | abort button | Christophe Raffalli | |
| 2000-09-20 | dirty bug fix in next-span to avoid loops with FSF Emacs | Christophe Raffalli | |
| 2000-09-19 | made \<> word characters (accomodates symbol representation); | Makarius Wenzel | |
| 2000-09-19 | installfonts only when using X window system; | Makarius Wenzel | |
| 2000-09-19 | isar-toolbar-entries: remove 'goal and 'qed; | Makarius Wenzel | |
| 2000-09-19 | removed junk; | Makarius Wenzel | |
| 2000-09-19 | improved xsymbol config: include info dir, only init for XEmacs; | Makarius Wenzel | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |