| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Todo |  David Aspinall | 2001-09-05 |
| * | Updated | David Aspinall | 2001-09-05 |
| * | Add keybindings for new commands for moving/navigating spans. | David Aspinall | 2001-09-05 |
| * | Fix problem with C-x C-v by copying buffer-file-name. Add children property t... | David Aspinall | 2001-09-05 |
| * | Improved span moving and navigation commands. | David Aspinall | 2001-09-05 |
| * | tuned proof text; |  Makarius Wenzel | 2001-09-04 |
| * | added option -P: actually start Proof General (default true); | Makarius Wenzel | 2001-09-04 |
| * | Updated. | David Aspinall | 2001-09-04 |
| * | Set version tag for new release. | David Aspinall | 2001-09-04 |
| * | Issue parsing messages | David Aspinall | 2001-09-04 |
| * | Add commands to move spans up/down. Enable features only if experimental fla... | David Aspinall | 2001-09-04 |
| * | Nested proof spans are duplicable | David Aspinall | 2001-09-04 |
| * | Add experimental features setting | David Aspinall | 2001-09-04 |
| * | Delete rogue elcs | David Aspinall | 2001-09-04 |
| * | Updates | David Aspinall | 2001-09-04 |
| * | tuned; | Makarius Wenzel | 2001-09-04 |
| * | no need to adjust the path to bash on the first line (due to /usr/bin/env); | Makarius Wenzel | 2001-09-04 |
| * | Updated. | David Aspinall | 2001-09-03 |
| * | Text | David Aspinall | 2001-09-03 |
| * | Trim dups | David Aspinall | 2001-09-03 |
| * | Add author | David Aspinall | 2001-09-03 |
| * | Updated | David Aspinall | 2001-09-03 |
| * | Accidental commit; revert to original. | David Aspinall | 2001-09-03 |
| * | Set proof-goal-with-hole-regexp | David Aspinall | 2001-09-03 |
| * | Change colour of locked region. | David Aspinall | 2001-09-03 |
| * | Fix bracket bug. | David Aspinall | 2001-09-03 |
| * | Show/hide all proofs: add redisplay for FSF | David Aspinall | 2001-09-03 |
| * | Use pg-set-span-helphightlights for unhighlighting. | David Aspinall | 2001-09-03 |
| * | Generalise context menu for other spans; grey out show/hide when unavailable. | David Aspinall | 2001-09-03 |
| * | Join paras | David Aspinall | 2001-09-03 |
| * | Updated. | David Aspinall | 2001-09-03 |
| * | Text | David Aspinall | 2001-09-03 |
| * | Fix link to screenshot | David Aspinall | 2001-09-03 |
| * | Improve layout | David Aspinall | 2001-09-03 |
| * | Update version numbers, time stamps. | David Aspinall | 2001-09-03 |
| * | Typo. Update Emacs version to 20.7. | David Aspinall | 2001-09-03 |
| * | Updated. | David Aspinall | 2001-09-03 |
| * | Update branch | David Aspinall | 2001-09-03 |
| * | PHP file | David Aspinall | 2001-09-03 |
| * | Renamed file | David Aspinall | 2001-09-03 |
| * | Set version tag for new release. | David Aspinall | 2001-09-03 |
| * | Please try devel version | David Aspinall | 2001-09-03 |
| * | Accidental update; revert to previous | David Aspinall | 2001-09-03 |
| * | Rearrange | David Aspinall | 2001-09-03 |
| * | Updating branch | David Aspinall | 2001-09-03 |
| * | Note of what to do | David Aspinall | 2001-09-03 |
| * | Formatting | David Aspinall | 2001-09-03 |
| * | Mention hiding proofs. | David Aspinall | 2001-09-03 |
| * | Add specific READMEs. | David Aspinall | 2001-09-03 |
| * | Note of secure alt to no password | David Aspinall | 2001-09-03 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |