| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-08-26 | New files. | David Aspinall |
| 2002-08-16 | Updated. | David Aspinall |
| 2002-08-16 | Updated. | David Aspinall |
| 2002-08-16 | 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-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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |