| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-09-10 | Note about re-rel 3.3 | David Aspinall |
| 2001-09-10 | Update release dates | David Aspinall |
| 2001-09-10 | Update todo | David Aspinall |
| 2001-09-10 | Remove spurious comment at start | David Aspinall |
| 2001-09-10 | isar-goals-font-lock-keywords: corollary; | Makarius Wenzel |
| 2001-09-09 | Updated. | David Aspinall |
| 2001-09-09 | Set version tag for new release. | David Aspinall |
| 2001-09-09 | Updated. | David Aspinall |
| 2001-09-09 | Renamed file | David Aspinall |
| 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 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |