| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2001-09-09 | Fixup copying of releasename link | David Aspinall | |
| 2001-09-09 | Updated. | David Aspinall | |
| 2001-09-09 | Set version tag for new release. | David Aspinall | |
| 2001-09-09 | Finished shift to 3.4 | David Aspinall | |
| 2001-09-09 | Link to kit.php | David Aspinall | |
| 2001-09-09 | File determination nonsense | David Aspinall | |
| 2001-09-09 | Change over to some .php files. | David Aspinall | |
| 2001-09-09 | Backtrack to previous CHANGES file for now. | David Aspinall | |
| 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 ↵ | David Aspinall | |
| to control spans. | |||
| 2001-09-05 | Improved span moving and navigation commands. | David Aspinall | |
| 2001-09-04 | tuned proof text; | Makarius Wenzel | |
| added script version; | |||
| 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 ↵ | David Aspinall | |
| flag set | |||
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |