| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-09-09 | Coq/lego confusion | David Aspinall |
| 2001-09-09 | Bug in new parsing for coq, mention | David Aspinall |
| 2001-09-09 | Updated. | David Aspinall |
| 2001-09-09 | Set version tag for new release. | David Aspinall |
| 2001-09-09 | Update for 3.4pre | David Aspinall |
| 2001-09-09 | Remove validation stamp from footer, since its a lie. | David Aspinall |
| 2001-09-09 | No changes yet | David Aspinall |
| 2001-09-09 | Updated. | David Aspinall |
| 2001-09-09 | Set version tag for new release. | David Aspinall |
| 2001-09-09 | Trim page a bit | David Aspinall |
| 2001-09-09 | Trim page a bit | David Aspinall |
| 2001-09-09 | Trim page a bit | David Aspinall |
| 2001-09-09 | Trim page a bit | David Aspinall |
| 2001-09-09 | Announce 3.3 | David Aspinall |
| 2001-09-09 | Release 3-3. | David Aspinall |
| 2001-09-09 | Release date of 3-3. | David Aspinall |
| 2001-09-09 | Mention paper letter registrations. | David Aspinall |
| 2001-09-09 | Remove to be released line | David Aspinall |
| 2001-09-09 | Update docs. | David Aspinall |
| 2001-09-06 | tuned usage; | Makarius Wenzel |
| 2001-09-05 | Mention pg-toggle-visibility and its keybinding | David Aspinall |
| 2001-09-05 | Updated. | David Aspinall |
| 2001-09-05 | Set version tag for new release. | David Aspinall |
| 2001-09-05 | Incomplete | David Aspinall |
| 2001-09-05 | 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-04 | 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-03 | 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |