| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Renamed file |  David Aspinall | 2002-08-12 |
| * | Remove comment at the end testing feature. See etc/isar/Parsing.thy instead. | David Aspinall | 2002-08-12 |
| * | Describe variable highlighting | David Aspinall | 2002-08-12 |
| * | Enable variable highlighting in case experimental features enabled. | David Aspinall | 2002-08-12 |
| * | Updated | David Aspinall | 2002-08-12 |
| * | 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-09 |
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |