aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2008-01-16Updated.David Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Tweak fix: it's *probably* not necessary in non-mule mode (needs testing onDavid Aspinall
2008-01-15proof-x-symbol-decode-region: add fontification to fix missing subscript/subs...David Aspinall
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-15Updated.David Aspinall
2008-01-15Default to using emacs nowDavid Aspinall
2008-01-15pg-response-display: use add-text-properties instead of font-lock-append-text...David Aspinall
2008-01-15Before calling pg-response-display-with-face, strip eager annotation but not ...David Aspinall
2008-01-15Documentation.David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is s...David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Remove coq-utf-safeDavid Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Deleted fileDavid Aspinall
2008-01-15Set version tag for new release.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2008-01-15New files.David Aspinall
2008-01-15New files.David Aspinall
2008-01-14Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- s...David Aspinall
2008-01-14New files.David Aspinall
2008-01-14Remove font lock settings for nowDavid Aspinall
2008-01-13New files.David Aspinall
2008-01-05UpdateDavid Aspinall
2008-01-05Deleted fileDavid Aspinall
2008-01-05Updated.David Aspinall
2008-01-05Deleted fileDavid Aspinall
2008-01-03Fixed abbrev installation. + small fixes.Pierre Courtieu
2008-01-03Fixed the "proof completed" regexp.Pierre Courtieu
2008-01-03Fixed something wrong. Probably a file missing (proof-system.el ?).Pierre Courtieu
2007-12-14Deleted fileDavid Aspinall
2007-12-14Prevent magic during distDavid Aspinall
2007-12-14Ignore errors in bytecompDavid Aspinall
2007-12-14Let broken compilation proceed for nowDavid Aspinall
2007-12-14Require for defface macroDavid Aspinall
2007-12-14Allow blank lines in quoted regions again.David Aspinall
2007-12-14Update docstring magicDavid Aspinall
2007-12-14More doc tidyDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 12:07:40 +0000