| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-08-12 | Updated | David Aspinall |
| 2002-08-09 | Updated. | David Aspinall |
| 2002-08-09 | Updated. | David Aspinall |
| 2002-08-09 | Set version tag for new release. | David Aspinall |
| 2002-08-09 | Doc | David Aspinall |
| 2002-08-09 | Doc comments also under vis control | David Aspinall |
| 2002-08-09 | Updated. | David Aspinall |
| 2002-08-09 | New files. | David Aspinall |
| 2002-08-09 | Fix proof-disappearing-proofs; comments | David Aspinall |
| 2002-08-09 | Refactor proof-done-advancing by abstracting out new functions; fixes for aut... | David Aspinall |
| 2002-08-09 | Add menu entry for toggling visibility | David Aspinall |
| 2002-08-09 | Add span-property-safe | David Aspinall |
| 2002-08-09 | Updated. | David Aspinall |
| 2002-08-09 | More comments | David Aspinall |
| 2002-08-09 | New files. | David Aspinall |
| 2002-08-09 | Deleted file | David Aspinall |
| 2002-08-08 | Updated. | David Aspinall |
| 2002-08-08 | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall |
| 2002-08-08 | Authorship, comments. | David Aspinall |
| 2002-08-08 | Updated. | David Aspinall |
| 2002-08-08 | Fix markup | David Aspinall |
| 2002-08-08 | Set version tag for new release. | David Aspinall |
| 2002-08-08 | Doc | David Aspinall |
| 2002-08-08 | Simplify theorem dep / Isabelle patch loading | David Aspinall |
| 2002-08-08 | bugs file ignored | David Aspinall |
| 2002-08-08 | Fix dep highlighting for Emacs 21 by setting priorities. | David Aspinall |
| 2002-08-08 | More docs for deps. | David Aspinall |
| 2002-08-08 | Enable exper features for pre-releases automatically. | David Aspinall |
| 2002-08-08 | Add span context menu support for Emacs21. | David Aspinall |
| 2002-08-08 | New files. | David Aspinall |
| 2002-08-08 | Updated. | David Aspinall |
| 2002-08-08 | Typos/fixes. | David Aspinall |
| 2002-08-08 | Remove proof-shared-menu. | David Aspinall |
| 2002-08-08 | Updates | David Aspinall |
| 2002-08-08 | Fix autoload for context menu; add proof-shell-show-dependency-cmd. | David Aspinall |
| 2002-08-08 | Prevent proof spans being duplicated. | David Aspinall |
| 2002-08-08 | Docstring | David Aspinall |
| 2002-08-08 | Set proof-shell-show-dependency-cmd | David Aspinall |
| 2002-08-08 | Updated for Isabelle2002. | David Aspinall |
| 2002-08-08 | Fix condition for displaying dependency menu | David Aspinall |
| 2002-08-08 | Tweak menu; add proof-shell-show-dependency-cmd | David Aspinall |
| 2002-08-08 | Updated | David Aspinall |
| 2002-08-08 | Fix email addresses; tweaks. | David Aspinall |
| 2002-08-08 | New files. | David Aspinall |
| 2002-08-08 | Allow favourite saving when user wants. | David Aspinall |
| 2002-08-08 | Deleted file | David Aspinall |
| 2002-08-08 | Trivial. | David Aspinall |
| 2002-08-08 | Use glyph for hidden proofs; add open isearch props; tweak element handling fns. | David Aspinall |
| 2002-08-08 | Add lclam | David Aspinall |
| 2002-08-08 | New files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |