aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2001-09-04Issue parsing messagesDavid Aspinall
2001-09-04Add commands to move spans up/down. Enable features only if experimental ↵David Aspinall
flag set
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
Use new functions pg-set-span-helphighlights and pg-span-name to set help echo, balloon help, mouse highlight, and context menu.
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
2001-09-03TextDavid Aspinall
2001-09-03Fix link to screenshotDavid Aspinall
2001-09-03Improve layoutDavid Aspinall
2001-09-03Update version numbers, time stamps.David Aspinall
2001-09-03Typo. Update Emacs version to 20.7.David Aspinall
2001-09-03Updated.David Aspinall
2001-09-03Update branchDavid Aspinall
2001-09-03PHP fileDavid Aspinall
2001-09-03Renamed fileDavid Aspinall
2001-09-03Set version tag for new release.David Aspinall
2001-09-03Please try devel versionDavid Aspinall
2001-09-03Accidental update; revert to previousDavid Aspinall
2001-09-03RearrangeDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2001-09-03Note of what to doDavid Aspinall
2001-09-03FormattingDavid Aspinall
2001-09-03Mention hiding proofs.David Aspinall
2001-09-03Add specific READMEs.David Aspinall
2001-09-03Note of secure alt to no passwordDavid Aspinall
2001-09-03Ready for releaseDavid Aspinall
2001-09-03Update for 3.3David Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-09-03Move specific install instructions into subdirsDavid Aspinall
2001-09-03Add settings for testing trace buffers.David Aspinall
2001-09-03Note about tracing buffers for developersDavid Aspinall
2001-09-03Added handling of tracing buffers using proof-shell-spill-output-regexp.David Aspinall
2001-09-03Added proof-shell-spill-output-regexpDavid Aspinall
2001-09-02Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 10:52:09 +0000