aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2010-08-25Fixed the bug of vertical window splitting when the size of the windowPierre Courtieu
2010-08-25coq-find-and-forget: re-enable trivial optimisation (is it reallyDavid Aspinall
2010-08-25proof-shell-handle-error-or-interrupt: prevent an error inDavid Aspinall
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-25Revert 10.51. proof-script-command-end-regexp: non-letters afterDavid Aspinall
2010-08-24isar-set-undo-commands: encourage the user not to change while processing a b...David Aspinall
2010-08-24Tidy commentsDavid Aspinall
2010-08-24UpdatedDavid Aspinall
2010-08-24Tidy shell start and quit functionsDavid Aspinall
2010-08-24proof-shell-config-done: send proof-assistant-settings-cmdsDavid Aspinall
2010-08-24Split proof-assistant-settings-cmds and proof-assistant-settings-cmdDavid Aspinall
2010-08-24Reduce quit timeout to sensible valueDavid Aspinall
2010-08-24Move comments into docstringDavid Aspinall
2010-08-24Tidy commentsDavid Aspinall
2010-08-24unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ...David Aspinall
2010-08-24pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 comp...David Aspinall
2010-08-24isar-strip-terminators: backward-delete-char -> delete-char to fix Emacs 24 c...David Aspinall
2010-08-24coq-set-state-infos: attempt to fix sync problem hereDavid Aspinall
2010-08-24proof-script-command-end-regexp: include \' for end of buffer againDavid Aspinall
2010-08-24proof-script-command-end-regexp: allow any non-letter after a periodDavid Aspinall
2010-08-24More whitespace changesDavid Aspinall
2010-08-24Cleanups for Elisp formatting conventions.David Aspinall
2010-08-24Minor cleanupsDavid Aspinall
2010-08-24coq-comment-at-point: avoid error if command start not foundDavid Aspinall
2010-08-24Update versionsDavid Aspinall
2010-08-23Remove extra nav bars in html. Clean html subdirs on distcleanDavid Aspinall
2010-08-23-prefix -> --outputDavid Aspinall
2010-08-23texi2html: add -prefix to give same as old behaviour (sub-directory).David Aspinall
2010-08-23Remove defunct RPM linkDavid Aspinall
2010-08-23Set version tag for new release.David Aspinall
2010-08-23Fix image embedding in htmlDavid Aspinall
2010-08-23Update to use @dircategory and @direntry for infoDavid Aspinall
2010-08-23Add some more creditsDavid Aspinall
2010-08-23Add some more creditsDavid Aspinall
2010-08-23Prevent electric terminator modeline effect in non proof script modes.David Aspinall
2010-08-23UpdatedDavid Aspinall
2010-08-22proof-fast-process-buffer: switch on by default if looks like Mac port (ns fe...David Aspinall
2010-08-22Fix bug in define-key for mouse-3.David Aspinall
2010-08-22Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...David Aspinall
2010-08-22Change binding for coq-PrintHint as suggested in Trac #341David Aspinall
2010-08-22Move binding of proof-help from C-c C-h to C-c h (see Trac #341)David Aspinall
2010-08-22isar-describe-help-keys: remove this, available by default as C-c C-a h C-hDavid Aspinall
2010-08-20declare trace_simp in Isar, not ML;Makarius Wenzel
2010-08-20Remove dead codeDavid Aspinall
2010-08-20UpdateDavid Aspinall
2010-08-20Support Unicode from tokens. Add export for whole directoryDavid Aspinall
2010-08-20Mention Fast Process BufferDavid Aspinall
2010-08-19Add Fast Process Buffer optionDavid Aspinall
2010-08-19Set version tag for new release.David Aspinall
2010-08-19proof-shell-process-connection-type: Revert to long-lived previous default of...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 13:06:05 +0000