aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Update todoGravatar David Aspinall2001-09-10
* Remove spurious comment at startGravatar David Aspinall2001-09-10
* isar-goals-font-lock-keywords: corollary;Gravatar Makarius Wenzel2001-09-10
* Updated.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Updated.Gravatar David Aspinall2001-09-09
* Renamed fileGravatar David Aspinall2001-09-09
* Fixup copying of releasename linkGravatar David Aspinall2001-09-09
* Updated.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Finished shift to 3.4Gravatar David Aspinall2001-09-09
* Link to kit.phpGravatar David Aspinall2001-09-09
* File determination nonsenseGravatar David Aspinall2001-09-09
* Change over to some .php files.Gravatar David Aspinall2001-09-09
* Backtrack to previous CHANGES file for now.Gravatar David Aspinall2001-09-09
* Coq/lego confusionGravatar David Aspinall2001-09-09
* Bug in new parsing for coq, mentionGravatar David Aspinall2001-09-09
* Updated.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Update for 3.4preGravatar David Aspinall2001-09-09
* Remove validation stamp from footer, since its a lie.Gravatar David Aspinall2001-09-09
* No changes yetGravatar David Aspinall2001-09-09
* Updated.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Trim page a bitGravatar David Aspinall2001-09-09
* Trim page a bitGravatar David Aspinall2001-09-09
* Trim page a bitGravatar David Aspinall2001-09-09
* Trim page a bitGravatar David Aspinall2001-09-09
* Announce 3.3Gravatar David Aspinall2001-09-09
* Release 3-3.Gravatar David Aspinall2001-09-09
* Release date of 3-3.Gravatar David Aspinall2001-09-09
* Mention paper letter registrations.Gravatar David Aspinall2001-09-09
* Remove to be released lineGravatar David Aspinall2001-09-09
* Update docs.Gravatar David Aspinall2001-09-09
* tuned usage;Gravatar Makarius Wenzel2001-09-06
* Mention pg-toggle-visibility and its keybindingGravatar David Aspinall2001-09-05
* Updated.Gravatar David Aspinall2001-09-05
* Set version tag for new release.Gravatar David Aspinall2001-09-05
* IncompleteGravatar David Aspinall2001-09-05
* TodoGravatar David Aspinall2001-09-05
* UpdatedGravatar David Aspinall2001-09-05
* Add keybindings for new commands for moving/navigating spans.Gravatar David Aspinall2001-09-05
* Fix problem with C-x C-v by copying buffer-file-name. Add children property t...Gravatar David Aspinall2001-09-05
* Improved span moving and navigation commands.Gravatar David Aspinall2001-09-05
* tuned proof text;Gravatar Makarius Wenzel2001-09-04
* added option -P: actually start Proof General (default true);Gravatar Makarius Wenzel2001-09-04
* Updated.Gravatar David Aspinall2001-09-04
* Set version tag for new release.Gravatar David Aspinall2001-09-04
* Issue parsing messagesGravatar David Aspinall2001-09-04
* Add commands to move spans up/down. Enable features only if experimental fla...Gravatar David Aspinall2001-09-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 20:48:16 +0000