Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | proof-display-some-buffers improved: toggles between goals and response in | David Aspinall | 2000-09-23 |
| | | | | 2-pane mode | ||
* | Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵ | David Aspinall | 2000-09-23 |
| | | | | Add proof-with-script-buffer. | ||
* | 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 | 2000-09-23 |
| | | | | | Remove support for obsolete 1-bit xbm images Update comments | ||
* | Call (proof-toolbar-setup) to add toolbar to goals and response buffer | David Aspinall | 2000-09-23 |
| | | | | Unify goals and response menus with script buffer menu | ||
* | Remove require on proof-depends | David Aspinall | 2000-09-23 |
| | | | | | Make toolbar commands work from non-scripting buffers Add save file dialogue to proof-register-possibly-new-processed-file | ||
* | Update comments | David Aspinall | 2000-09-23 |
| | |||
* | Updated | David Aspinall | 2000-09-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-21 |
| | |||
* | Newlines. | David Aspinall | 2000-09-21 |
| | |||
* | Removed blurry distinction between block-comment and comment in FSF's ↵ | David Aspinall | 2000-09-21 |
| | | | | buffer-syntactic-context | ||
* | 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 |
| | |||
* | dirty bug fix in next-span to avoid loops with FSF Emacs | Christophe Raffalli | 2000-09-20 |
| | |||
* | changed proof-remove-comment to avoid using string-search (using ↵ | Christophe Raffalli | 2000-09-18 |
| | | | | string-match instead). | ||
* | Get rid of proof-segment-up-to-old. | David Aspinall | 2000-09-18 |
| | |||
* | Added bug fix section and patch for undefined | David Aspinall | 2000-09-18 |
| | | | | font-lock-preprocessor-face in FSF Emacs. | ||
* | Emulate buffer-syntactic-context on FSF Emacs | David Aspinall | 2000-09-18 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-18 |
| | |||
* | added proof-retract-current-goal | Christophe Raffalli | 2000-09-15 |
| | |||
* | added proper call to proof-remove-comment before matching with ↵ | Christophe Raffalli | 2000-09-15 |
| | | | | proof-xxx-with-hole-regexp | ||
* | removed some debugging messages I forgot | Christophe Raffalli | 2000-09-15 |
| | |||
* | added function string-search and proof-remove-comment | Christophe Raffalli | 2000-09-15 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-14 |
| | |||
* | Remove FIXME. | David Aspinall | 2000-09-14 |
| | |||
* | Improved docstrings, comments. | David Aspinall | 2000-09-14 |
| | |||
* | capitalize xs-lang-name; | Makarius Wenzel | 2000-09-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-13 |
| | |||
* | Docstring changes for printed docs. | David Aspinall | 2000-09-13 |
| | |||
* | Order change | David Aspinall | 2000-09-13 |
| | |||
* | Removed proof-toolbar-entries-default and <PA>-toolbar-entries. | David Aspinall | 2000-09-13 |
| | |||
* | Remove ambitious promise to implement proper generic-find-and-forget. | David Aspinall | 2000-09-13 |
| | |||
* | Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵ | David Aspinall | 2000-09-13 |
| | | | | proof-config to allow easier configuration. | ||
* | Set version tag for new release. | David Aspinall | 2000-09-12 |
| | |||
* | Remove shell important setting from script ones. | David Aspinall | 2000-09-12 |
| | |||
* | Add sanity check on important settings for proof shell (underway) | David Aspinall | 2000-09-12 |
| | |||
* | Added entry for Af2 | David Aspinall | 2000-09-12 |
| | |||
* | Docs for proof-shell-eager-annotation-start stuff | David Aspinall | 2000-09-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-11 |
| | |||
* | Added proof-shell-annotated-prompt-regexp to important settings, removed ↵ | David Aspinall | 2000-09-11 |
| | | | | safe default of empty string (now will have error msgs from filter) | ||
* | ADded proof-locate-executable. | David Aspinall | 2000-09-08 |
| | |||
* | Fix obscure problem with proof-segment-upto-cmdstart with buggy input. | David Aspinall | 2000-09-08 |
| | |||
* | Rearrangement | David Aspinall | 2000-09-08 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-29 |
| | |||
* | Added proof-shell-auto-terminate-commands | David Aspinall | 2000-08-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-28 |
| | |||
* | Added proof-shell-set-elisp-variable-regexp | David Aspinall | 2000-08-28 |
| | |||
* | Added twelf and experimental support note. | David Aspinall | 2000-08-28 |
| | |||
* | FIXME note added, missing docstring from macro fn def. | David Aspinall | 2000-08-28 |
| |