| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Tweaks to faces. Set visible default for tactics-name-face. |  David Aspinall | 2002-08-16 | |
| * | Updated. | David Aspinall | 2002-08-16 | |
| * | Set version tag for new release. | David Aspinall | 2002-08-16 | |
| * | Print Proof | David Aspinall | 2002-08-16 | |
| * | Mention span menu improvements. | David Aspinall | 2002-08-16 | |
| * | Change order of menu | David Aspinall | 2002-08-16 | |
| * | Updated. | David Aspinall | 2002-08-16 | |
| * | Use shared span menu | David Aspinall | 2002-08-16 | |
| * | Add span menu for thm_deps | David Aspinall | 2002-08-16 | |
| * | Updated. | David Aspinall | 2002-08-16 | |
| * | Identifier name change | David Aspinall | 2002-08-16 | |
| * | Updated. | David Aspinall | 2002-08-16 | |
| * | Update | David Aspinall | 2002-08-16 | |
| * | More info | David Aspinall | 2002-08-16 | |
| * | Updated | David Aspinall | 2002-08-16 | |
| * | Formatting | David Aspinall | 2002-08-16 | |
| * | Robustness against pg-subterm-start-char not being set. | David Aspinall | 2002-08-16 | |
| * | Docstring. | David Aspinall | 2002-08-16 | |
| * | Variable name change | David Aspinall | 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-16 | |
| * | 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-15 | |
| * | proof-string-match-safe is even more safe | David Aspinall | 2002-08-13 | |
| * | Dont force isatool to be found | David Aspinall | 2002-08-13 | |
| * | 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 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |