aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2002-06-08Clean up span.el loadingDavid Aspinall
2002-06-08Robustness fixes/bug notesDavid Aspinall
2002-06-08SpacingDavid Aspinall
2002-06-08Tweak liveness testDavid Aspinall
2002-06-08Alter orderDavid Aspinall
2002-06-08Fix keysym to use FSF syntaxDavid Aspinall
2002-06-08Set version tag for new release.David Aspinall
2002-05-03Set version tag for new release.David Aspinall
2002-05-03Fix X-symbol URLDavid Aspinall
2002-05-03Fix font lock for E21 (I hope)David Aspinall
2002-05-03Try to support next-error key binding for both Emacs versions.David Aspinall
2002-05-03Fix loading order to load Isar before IsaDavid Aspinall
2002-05-03Craftily set experimental fetures on for devel release.David Aspinall
2002-05-03Began adding generic line-width adjustDavid Aspinall
2002-04-23Set version tag for new release.David Aspinall
2002-03-22Set version tag for new release.David Aspinall
2002-03-21Set version tag for new release.David Aspinall
2002-03-21Year changesDavid Aspinall
2002-03-21Remove toolbar gutters in multiple frame mode. Add ↵David Aspinall
proof-shell-truncate-before-error setting.
2002-03-21Dont set type property for proof elements (experiment). Tweak name ↵David Aspinall
determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
2002-03-21Added activations for frame/window controls.David Aspinall
2002-03-21Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.David Aspinall
2002-03-21Added emultation of display-graphic-p for XEmacsDavid Aspinall
2002-03-21Add header to XML docsDavid Aspinall
2002-03-21New files.David Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-02-23Add check for Emacs21.David Aspinall
2002-02-23Bug fix in proof-goto-command-end. Decode x-syms in ↵David Aspinall
pg-insert-output-as-comment.
2002-02-23Simplify enabling tests to just check window-system. Fix ↵David Aspinall
proof-x-symbol-decode-region to return new END value after decoding.
2002-02-23Updates to font-lock handling in proof-fontify-region, ↵David Aspinall
proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
2002-02-14Set version tag for new release.David Aspinall
2002-01-31Simplify fix for repeated comments (commentre includes whitespace).David Aspinall
2002-01-31Set version tag for new release.David Aspinall
2002-01-31Tweak commentDavid Aspinall
2002-01-31Fix problem noticed with Isar and repeated comments.David Aspinall
2002-01-16Set version tag for new release.David Aspinall
2002-01-16CommentsDavid Aspinall
2002-01-16Also bury trace bufferDavid Aspinall
2002-01-16Only create trace buffer if liable to be used. Remove experimental ↵David Aspinall
spill-output style tracing code.
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2002-01-15Also put trace buffer in x sym modeDavid Aspinall
2002-01-15Remove defunct codeDavid Aspinall
2002-01-15Set version tag for new release.David Aspinall
2002-01-15windows-of-buffer -> get-buffer-window-list GNU nameDavid Aspinall
2002-01-15Inspect quit-flag when displaying tracing output; send an interrupt to the ↵David Aspinall
prover if set.
2002-01-15Redisplay during tracing output on XEmacsDavid Aspinall
2002-01-11Set version tag for new release.David Aspinall
2001-12-27fixed spelling;Makarius Wenzel
2001-12-11Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 18:13:01 +0000