| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-09-13 | Feedback quick link | David Aspinall |
| 2001-09-13 | No changes msg | David Aspinall |
| 2001-09-13 | Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files | David Aspinall |
| 2001-09-10 | Updated. | David Aspinall |
| 2001-09-10 | Set version tag for new release. | David Aspinall |
| 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 |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |