aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-09-10Remove spurious comment at startDavid Aspinall
2001-09-10isar-goals-font-lock-keywords: corollary;Makarius Wenzel
2001-09-09Updated.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Updated.David Aspinall
2001-09-09Renamed fileDavid Aspinall
2001-09-09Fixup copying of releasename linkDavid Aspinall
2001-09-09Updated.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Finished shift to 3.4David Aspinall
2001-09-09Link to kit.phpDavid Aspinall
2001-09-09File determination nonsenseDavid Aspinall
2001-09-09Change over to some .php files.David Aspinall
2001-09-09Backtrack to previous CHANGES file for now.David Aspinall
2001-09-09Coq/lego confusionDavid Aspinall
2001-09-09Bug in new parsing for coq, mentionDavid Aspinall
2001-09-09Updated.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Update for 3.4preDavid Aspinall
2001-09-09Remove validation stamp from footer, since its a lie.David Aspinall
2001-09-09No changes yetDavid Aspinall
2001-09-09Updated.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Trim page a bitDavid Aspinall
2001-09-09Trim page a bitDavid Aspinall
2001-09-09Trim page a bitDavid Aspinall
2001-09-09Trim page a bitDavid Aspinall
2001-09-09Announce 3.3David Aspinall
2001-09-09Release 3-3.David Aspinall
2001-09-09Release date of 3-3.David Aspinall
2001-09-09Mention paper letter registrations.David Aspinall
2001-09-09Remove to be released lineDavid Aspinall
2001-09-09Update docs.David Aspinall
2001-09-06tuned usage;Makarius Wenzel
2001-09-05Mention pg-toggle-visibility and its keybindingDavid Aspinall
2001-09-05Updated.David Aspinall
2001-09-05Set version tag for new release.David Aspinall
2001-09-05IncompleteDavid Aspinall
2001-09-05TodoDavid Aspinall
2001-09-05UpdatedDavid Aspinall
2001-09-05Add keybindings for new commands for moving/navigating spans.David Aspinall
2001-09-05Fix problem with C-x C-v by copying buffer-file-name. Add children property t...David Aspinall
2001-09-05Improved span moving and navigation commands.David Aspinall
2001-09-04tuned proof text;Makarius Wenzel
2001-09-04added option -P: actually start Proof General (default true);Makarius Wenzel
2001-09-04Updated.David Aspinall
2001-09-04Set version tag for new release.David Aspinall
2001-09-04Issue parsing messagesDavid Aspinall
2001-09-04Add commands to move spans up/down. Enable features only if experimental fla...David Aspinall
2001-09-04Nested proof spans are duplicableDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 02:35:25 +0000