| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2000-05-09 | Improve loading | David Aspinall | |
| 2000-05-09 | Fixup branch | David Aspinall | |
| 2000-05-09 | New files | David Aspinall | |
| 2000-05-09 | Trivial. | David Aspinall | |
| 2000-05-09 | Updated 3.2 changes | David Aspinall | |
| 2000-05-09 | Added autoloads target. | David Aspinall | |
| 2000-05-09 | EMACS -> BATCHEMACS var | David Aspinall | |
| 2000-05-09 | Merged from 3.1.5 | David Aspinall | |
| 2000-05-09 | Added default target | David Aspinall | |
| 2000-05-07 | Comments | David Aspinall | |
| 2000-05-05 | Comment. | David Aspinall | |
| 2000-05-05 | Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |