| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 2000-05-05 | Missing para | David Aspinall |
| 2000-05-05 | Buglet in html | David Aspinall |
| 2000-05-05 | Set version tag for new release. | David Aspinall |
| 2000-05-05 | Fix markup bug. | David Aspinall |
| 2000-05-05 | Expanded explanation of selecting Isar. | David Aspinall |
| 2000-05-05 | Updated | David Aspinall |
| 2000-05-05 | make clean removes Emacs backups. Probably safe... | David Aspinall |
| 2000-05-05 | Hot news about FAQ. | David Aspinall |
| 2000-05-05 | isa-system.el -> isabelle-system.el | David Aspinall |
| 2000-05-05 | Renamed file | David Aspinall |
| 2000-05-05 | Expanded menu | David Aspinall |
| 2000-05-05 | Comments. Minor improvements for electric terminator and proof-follow-mode='... | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |