Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Trim dups | 2001-09-03 | |
| | |||
* | Add author | 2001-09-03 | |
| | |||
* | Updated | 2001-09-03 | |
| | |||
* | Accidental commit; revert to original. | 2001-09-03 | |
| | |||
* | Set proof-goal-with-hole-regexp | 2001-09-03 | |
| | |||
* | Change colour of locked region. | 2001-09-03 | |
| | |||
* | Fix bracket bug. | 2001-09-03 | |
| | |||
* | Show/hide all proofs: add redisplay for FSF | 2001-09-03 | |
| | | | | | | Use new functions pg-set-span-helphighlights and pg-span-name to set help echo, balloon help, mouse highlight, and context menu. | ||
* | Use pg-set-span-helphightlights for unhighlighting. | 2001-09-03 | |
| | |||
* | Generalise context menu for other spans; grey out show/hide when unavailable. | 2001-09-03 | |
| | |||
* | Join paras | 2001-09-03 | |
| | |||
* | Updated. | 2001-09-03 | |
| | |||
* | Text | 2001-09-03 | |
| | |||
* | Fix link to screenshot | 2001-09-03 | |
| | |||
* | Improve layout | 2001-09-03 | |
| | |||
* | Update version numbers, time stamps. | 2001-09-03 | |
| | |||
* | Typo. Update Emacs version to 20.7. | 2001-09-03 | |
| | |||
* | Updated. | 2001-09-03 | |
| | |||
* | Update branch | 2001-09-03 | |
| | |||
* | PHP file | 2001-09-03 | |
| | |||
* | Renamed file | 2001-09-03 | |
| | |||
* | Set version tag for new release. | 2001-09-03 | |
| | |||
* | Please try devel version | 2001-09-03 | |
| | |||
* | Accidental update; revert to previous | 2001-09-03 | |
| | |||
* | Rearrange | 2001-09-03 | |
| | |||
* | Updating branch | 2001-09-03 | |
| | |||
* | Note of what to do | 2001-09-03 | |
| | |||
* | Formatting | 2001-09-03 | |
| | |||
* | Mention hiding proofs. | 2001-09-03 | |
| | |||
* | Add specific READMEs. | 2001-09-03 | |
| | |||
* | Note of secure alt to no password | 2001-09-03 | |
| | |||
* | Ready for release | 2001-09-03 | |
| | |||
* | Update for 3.3 | 2001-09-03 | |
| | |||
* | Add specific install instrs, rearrange. | 2001-09-03 | |
| | |||
* | Move specific install instructions into subdirs | 2001-09-03 | |
| | |||
* | Add settings for testing trace buffers. | 2001-09-03 | |
| | |||
* | Note about tracing buffers for developers | 2001-09-03 | |
| | |||
* | Added handling of tracing buffers using proof-shell-spill-output-regexp. | 2001-09-03 | |
| | |||
* | Added proof-shell-spill-output-regexp | 2001-09-03 | |
| | |||
* | Updated. | 2001-09-02 | |
| | |||
* | Set version tag for new release. | 2001-09-02 | |
| | |||
* | handle relative heap paths gracefully; | 2001-08-31 | |
| | |||
* | back to *official* Isabelle99-2 (later Isabelle dists will provide | 2001-08-31 | |
| | | | | their own copy of this file); | ||
* | Improved explanation | 2001-08-31 | |
| | |||
* | Something about dependencies feature | 2001-08-31 | |
| | |||
* | Added note about dependency feature. | 2001-08-31 | |
| | |||
* | (Almost) complete rewrite | 2001-08-31 | |
| | |||
* | Updated | 2001-08-31 | |
| | |||
* | Move theorem dependency code into proof-depends.el. | 2001-08-31 | |
| | | | | | | | Added 'controlspan property to proof body spans: action will be controlled from the control span. (The 'goalsave is the parent). Replace 'highlight face with 'proof-mouse-highlight-face throughout. | ||
* | Added copy command, call to dependency menu if proof-depends is loaded. | 2001-08-31 | |
| |