aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2008-01-25New files.David Aspinall
2008-01-25Set version tag for new release.David Aspinall
2008-01-24Set version tag for new release.David Aspinall
2008-01-24Fixes and cleanups for coq-indent-line, see Trac #172David Aspinall
2008-01-17Disable removal from input historyDavid Aspinall
2008-01-17Set version tag for new release.David Aspinall
2008-01-17Fix typo.David Aspinall
2008-01-17Also wait on pg-custom before running proof-set-value.David Aspinall
2008-01-17Updated.David Aspinall
2008-01-17XEmacs comp error: obscure undefined define-key-after comes from ↵David Aspinall
proof-maths-menu.
2008-01-17Prevent proof-set-value from operating during compilation.David Aspinall
2008-01-17Fix requiresDavid Aspinall
2008-01-17CommentDavid Aspinall
2008-01-17Mention no experimental featuresDavid Aspinall
2008-01-17Enable Lego again, its needed for documentation(\!)David Aspinall
2008-01-17Revert to more reliable true eval-when (compile)David Aspinall
2008-01-17Add pg-input-ring-size.David Aspinall
2008-01-17Remove dummy defvars, which cause errors if proof-menu is required during ↵David Aspinall
compile. Add keybindings for history. Move About menu item.
2008-01-17Prevent font-lock complaining about not being setup.David Aspinall
2008-01-17Add input history ring. Cleanup comments.David Aspinall
2008-01-17Prevent loading early in interpreted code: simulate proper eval-when (compile)David Aspinall
2008-01-17Split define keys to match keymap filesDavid Aspinall
2008-01-17Splash for a bit longer: people complain its too shortDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Set version tag for new release.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-16Cleanup compilation and documentation. Possible fix/break in ↵David Aspinall
pg-pbrpm-get-region-info (only looked at START).
2008-01-16Cleanup compileDavid Aspinall
2008-01-16Updated.David Aspinall
2008-01-16Fix compilation: need proof-utilsDavid Aspinall
2008-01-16Comments.David Aspinall
2008-01-16Revert 8.18: font-lock-append-text-property merges faces better.David Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Tweak fix: it's *probably* not necessary in non-mule mode (needs testing onDavid Aspinall
non-mule Emacs).
2008-01-15proof-x-symbol-decode-region: add fontification to fix missing ↵David Aspinall
subscript/subscripts.
2008-01-15Comments.David Aspinall
2008-01-15Simplify font lock settings, removing proof-font-lock-case-fold-searchDavid Aspinall
2008-01-15Comments.David Aspinall
2008-01-15pg-response-display: use add-text-properties instead of ↵David Aspinall
font-lock-append-text-property [no behaviour change]
2008-01-15Before calling pg-response-display-with-face, strip eager annotation but not ↵David Aspinall
specials.
2008-01-15Documentation.David Aspinall
2008-01-15Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is ↵David Aspinall
set. Cleanup comments.
2008-01-15Set version tag for new release.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2008-01-15New files.David Aspinall
2008-01-15New files.David Aspinall
2008-01-14New files.David Aspinall
2008-01-05Deleted fileDavid Aspinall
2008-01-05Updated.David Aspinall
2008-01-05Deleted fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 10:42:40 +0000