aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2001-09-10Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-05Set version tag for new release.David Aspinall
2001-09-05IncompleteDavid 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-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-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-03Set version tag for new release.David Aspinall
2001-09-03FormattingDavid Aspinall
2001-09-03Add specific install instrs, rearrange.David 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-02Set version tag for new release.David Aspinall
2001-08-31(Almost) complete rewriteDavid Aspinall
2001-08-31UpdatedDavid Aspinall
2001-08-31Move theorem dependency code into proof-depends.el.David Aspinall
2001-08-31Added copy command, call to dependency menu if proof-depends is loaded.David Aspinall
2001-08-31Add new proof-mouse-highlight-face to use instead of default. Fix dependency...David Aspinall
2001-08-31Add faces for theorem dependencies.David Aspinall
2001-08-31Clean up of proof-dependsDavid Aspinall
2001-08-31Skip settings which have no PA command in proof-assistant-settings-cmdDavid Aspinall
2001-08-31Add proof-shell-kill-function-hooksDavid Aspinall
2001-08-30pg-add-proof-element: removed accidential (?) dynamic scoping onMakarius Wenzel
2001-08-30added proof-script-integral-proofs ("Whether the complete text after aMakarius Wenzel
2001-08-30Set version tag for new release.David Aspinall
2001-08-30Add reassurance to interrupt warning to make Markus happier.David Aspinall
2001-08-30Updates for recent version of X-symbol, which has no file called x-symbol-aut...David Aspinall
2001-08-30Add :eval form for defpacustom to define PA-specific PG settings as well as P...David Aspinall
2001-08-30Add variable proof-previous-script-bufferDavid Aspinall
2001-08-30fixes for FSF Emacs for searching for goal span (don't call goal-command-p on...David Aspinall
2001-08-30Added implementation of remassq for FSF EmacsDavid Aspinall
2001-08-30pg-insert-last-output-as-comment strips special annotations from last output ...David Aspinall
2001-08-28Set version tag for new release.David Aspinall
2001-08-28Change of proof span type back to goalsave fixDavid Aspinall
2001-08-28Remove dependent setting of timeout, since bin calls different fn now.David Aspinall
2001-08-28TrivialDavid Aspinall
2001-08-28Remove mention of toolbar variable. Make timeouts vary according to how star...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:34:47 +0000