Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improved span moving and navigation commands. | 2001-09-05 | |
* | Add commands to move spans up/down. Enable features only if experimental fla... | 2001-09-04 | |
* | Generalise context menu for other spans; grey out show/hide when unavailable. | 2001-09-03 | |
* | Added copy command, call to dependency menu if proof-depends is loaded. | 2001-08-31 | |
* | pg-insert-last-output-as-comment strips special annotations from last output ... | 2001-08-30 | |
* | Function name fixes, use idiom property in span for popup menu name. | 2001-08-16 | |
* | Clean-up compile | 2001-07-09 | |
* | Copyright date updated | 2001-05-08 | |
* | goalsave -> proof | 2000-12-20 | |
* | Factor out some material from proof-script.el | 2000-12-14 |