aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-01-22CleanDavid Aspinall
2008-01-22New files.David Aspinall
2008-01-17Disable removal from input historyDavid Aspinall
2008-01-17Set version tag for new release.David Aspinall
2008-01-17Updated.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 proof-maths-...David Aspinall
2008-01-17Prevent proof-set-value from operating during compilation.David Aspinall
2008-01-17Not batch for debugDavid 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-17Updated.David Aspinall
2008-01-17Updated keybinding syntaxDavid Aspinall
2008-01-17DocstringDavid Aspinall
2008-01-17Support spans-at-region-prop.David Aspinall
2008-01-17Avoid some compilation/warningsDavid Aspinall
2008-01-17Revert to more reliable true eval-when (compile)David Aspinall
2008-01-17Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.David Aspinall
2008-01-17Fix included fileDavid Aspinall
2008-01-17Update datesDavid Aspinall
2008-01-17Update documentation. Credits, dates, input ring.David Aspinall
2008-01-17Update for new startup mechanism.David Aspinall
2008-01-17Fix typo.David Aspinall
2008-01-17Updated.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 com...David Aspinall
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-17Updated.David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Tweak version differentiation for compilationDavid 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 pg-pbrpm-get-re...David Aspinall
2008-01-16Cleanup compileDavid Aspinall
2008-01-16New files.David Aspinall
2008-01-16Updated.David 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-16Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 20:19:00 +0000