| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-05-12 | Moved utility functions to proof-utils. | David Aspinall | |
| 2000-05-12 | Fix to menu definition. | David Aspinall | |
| 2000-05-12 | Fix to function name | David Aspinall | |
| 2000-05-12 | Fix note. | David Aspinall | |
| 2000-05-11 | Set version tag for new release. | David Aspinall | |
| 2000-05-11 | Explanatory comments | David Aspinall | |
| 2000-05-11 | Changes and compatibility fixes for specific menu/keybindings. | David Aspinall | |
| 2000-05-11 | Load isabelle-system file shared with Isabelle Proof General. | David Aspinall | |
| Add default settings to proof-shell-init-cmd. Add Isabelle menu to menubar. | |||
| 2000-05-11 | Generic help menu for Isabelle and Isabelle/Isar added. | David Aspinall | |
| Generalized option settings mechanism. Added simplifier tracing flag. | |||
| 2000-05-11 | Moved generic settings to isabelle-system.el. ↵ | David Aspinall | |
| isa-set-default-cmd->isabelle-set.. | |||
| 2000-05-11 | Changes and compatibility fixes for specific menu/keybindings. | David Aspinall | |
| 2000-05-11 | Updated | David Aspinall | |
| 2000-05-11 | Tidied page a bit | David Aspinall | |
| 2000-05-11 | Note abut ;;;###autoload not working for define-derived-mode. | David Aspinall | |
| 2000-05-11 | Use proof-deftoggle macro. | David Aspinall | |
| Comments about failure for ;;;###autoload cookie for define-derived-mode Attempted fixes for C-x C-w, C-x C-v, revert-buffer. | |||
| 2000-05-11 | Compatibility hack | David Aspinall | |
| 2000-05-11 | Use proof-deftoggle macro. | David Aspinall | |
| 2000-05-11 | Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility. | David Aspinall | |
| 2000-05-11 | Extra arg to proof-splash-display-screen. | David Aspinall | |
| 2000-05-11 | Menus and code cleanup | David Aspinall | |
| 2000-05-11 | Removed duplicate declaration | David Aspinall | |
| 2000-05-11 | Extra arg to proof-splash-display-screen to serve as an About box. | David Aspinall | |
| 2000-05-11 | New mechanism for defining customization variables per-prover. | David Aspinall | |
| 2000-05-11 | X-Symbol funny chars question | David Aspinall | |
| 2000-05-11 | Fixup branch | David Aspinall | |
| 2000-05-11 | New file | David Aspinall | |
| 2000-05-09 | Updated | David Aspinall | |
| 2000-05-09 | Added browsable CVS. | David Aspinall | |
| 2000-05-09 | Note about desirable additions to Isabelle | David Aspinall | |
| 2000-05-09 | New goal. | David Aspinall | |
| 2000-05-09 | New setting on the way... | David Aspinall | |
| 2000-05-09 | Added question about saving options | David Aspinall | |
| 2000-05-09 | Set version tag for new release. | David Aspinall | |
| 2000-05-09 | Updated | David Aspinall | |
| 2000-05-09 | Updated | David Aspinall | |
| 2000-05-09 | Fixup menus. | David Aspinall | |
| 2000-05-09 | Fixup loading. | David Aspinall | |
| 2000-05-09 | New file | David Aspinall | |
| 2000-05-09 | New project (unlinked yet) | David Aspinall | |
| 2000-05-09 | Removed menus, keybinding. Removed compatibility hacks. Improved loading. | David Aspinall | |
| 2000-05-09 | Improved loading | David Aspinall | |
| 2000-05-09 | Prevent proof-set-value until proof-config-loaded. (C) on splash screen. | David Aspinall | |
| 2000-05-09 | Comments. | David Aspinall | |
| 2000-05-09 | Removed autoloads, util functions. | David Aspinall | |
| 2000-05-09 | Added some functions for developers. | David Aspinall | |
| 2000-05-09 | Fixup branch | David Aspinall | |
| 2000-05-09 | Moved code to proof-menu.el | David Aspinall | |
| 2000-05-09 | Added proof-splice-separator. | David Aspinall | |
| 2000-05-09 | Splash screen now shown from autoloaded function. | David Aspinall | |
| 2000-05-09 | Remove use of cl. Add require on proof-autoloads. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |