aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2001-09-04Add experimental features settingDavid Aspinall
2001-09-04Delete rogue elcsDavid Aspinall
2001-09-04UpdatesDavid Aspinall
2001-09-04tuned;Makarius Wenzel
2001-09-04no need to adjust the path to bash on the first line (due to /usr/bin/env);Makarius Wenzel
2001-09-03Updated.David Aspinall
2001-09-03TextDavid Aspinall
2001-09-03Trim dupsDavid Aspinall
2001-09-03Add authorDavid Aspinall
2001-09-03UpdatedDavid Aspinall
2001-09-03Accidental commit; revert to original.David Aspinall
2001-09-03Set proof-goal-with-hole-regexpDavid Aspinall
2001-09-03Change colour of locked region.David Aspinall
2001-09-03Fix bracket bug.David Aspinall
2001-09-03Show/hide all proofs: add redisplay for FSFDavid Aspinall
2001-09-03Use pg-set-span-helphightlights for unhighlighting.David Aspinall
2001-09-03Generalise context menu for other spans; grey out show/hide when unavailable.David Aspinall
2001-09-03Join parasDavid Aspinall
2001-09-03Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 13:10:38 +0000