aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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- ↵David Aspinall
settings.
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
2007-12-14Remove ancient idea for proof-atomic-sequence-listsDavid Aspinall
2007-12-14Cleanups with M-x checkdoc.David Aspinall
2007-12-14Fix matching of quoted regions with empty linesDavid Aspinall
2007-12-14More email -> trac renamesDavid Aspinall
2007-12-14Set version tag for new release.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Move x-symbol-isabelle -> x-symbol-isar to simplify setup.David Aspinall
2007-12-14Deleted fileDavid Aspinall
2007-12-14New files.David Aspinall
2007-12-14Typo in pg-special-char-regexpDavid Aspinall
2007-12-14Add compilation dependencyDavid Aspinall
2007-12-14Fix compilation problems and rearrange startup settings for ↵David Aspinall
coq-prog-name,coq-prog-args
2007-12-14Updated.David Aspinall
2007-12-14Be stricter about byte compilation: compile separately and halt on errorsDavid Aspinall
2007-12-14Removed fileDavid Aspinall
2007-12-14Move x-symbol-language hereDavid Aspinall
2007-12-14Cleanup coding system setting, commentsDavid Aspinall
2007-12-14Move x-symbol-language to avoid eval of proof-assistant-symbol; move ↵David Aspinall
proof-face-specs to proof-utils
2007-12-14proof-associated-windows: rewrite naively to remove proof-list-filterDavid Aspinall
2007-12-14Move proof-face-specs here, remove proof-list-filterDavid Aspinall
2007-12-14x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes ↵David Aspinall
dependence on proof-assistant-symbol)
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug.David Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug.David Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug. Optimise ↵David Aspinall
pg-remove-specials.
2007-12-14Rename: proof-show-debug-messages -> proof-general-debugDavid Aspinall
2007-12-14Use proof-shell-unicode to control whether bytes 128-255 are stripped from ↵David Aspinall
output.
2007-12-14Add proof-shell-set-text-representation to disable multibyte characters in ↵David Aspinall
legacy case. Use proof-shell-unicode to control whether bytes 128-255 are stripped from output.
2007-12-14Remove eval-when, seems unreliableDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 03:03:16 +0000