| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-08-16 | Add context menu extensions, query dependencies cmd | David Aspinall |
| 2002-08-16 | Name changes; span menu extensions; load theorem dependencies patch. | David Aspinall |
| 2002-08-16 | pg-goals -> pg-assoc | David Aspinall |
| 2002-08-15 | Small fixes | David Aspinall |
| 2002-08-15 | Refactoring | David Aspinall |
| 2002-08-15 | Refactoring. | David Aspinall |
| 2002-08-15 | Fix autoload | David Aspinall |
| 2002-08-15 | Typo | David Aspinall |
| 2002-08-15 | Updated | David Aspinall |
| 2002-08-15 | New files. | David Aspinall |
| 2002-08-15 | Play with markup. | David Aspinall |
| 2002-08-13 | proof-string-match-safe is even more safe | David Aspinall |
| 2002-08-13 | Dont force isatool to be found | David Aspinall |
| 2002-08-12 | Updated. | David Aspinall |
| 2002-08-12 | Updated. | David Aspinall |
| 2002-08-12 | Set version tag for new release. | David Aspinall |
| 2002-08-12 | Tweak Pierres docs | David Aspinall |
| 2002-08-12 | Tweak Pierres docs | David Aspinall |
| 2002-08-12 | Note about exper bugs | David Aspinall |
| 2002-08-12 | Abstract more functions from concrete cases. | David Aspinall |
| 2002-08-12 | Patch for XEmacs 20.4 compat [incomplete?]. | David Aspinall |
| 2002-08-12 | Docstring | David Aspinall |
| 2002-08-12 | Note | David Aspinall |
| 2002-08-12 | Fix for moving span duplicable prob. Still not really working | David Aspinall |
| 2002-08-12 | Update magic | David Aspinall |
| 2002-08-12 | Document experimental features; update other descriptions. | David Aspinall |
| 2002-08-12 | Docstring | David Aspinall |
| 2002-08-12 | New files. | David Aspinall |
| 2002-08-12 | 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-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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |