aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-03-03Use replace-regexp instead of proof-replace-regexp to clean charsDavid Aspinall
2007-03-03Patch for XEmacs 21.5 beta match-replace bugDavid Aspinall
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2007-02-28Updated.David Aspinall
2007-02-28Fix commentDavid Aspinall
2007-02-28Renamed fileDavid Aspinall
2007-02-27Note on sudo and cp -p clashDavid Aspinall
2007-02-22Mention prefer-coding-system as suggested by Florian HaftmannDavid Aspinall
2007-02-08New files.David Aspinall
2007-01-20Patch x-symbol problem with XEmacs betaDavid Aspinall
2007-01-20Correct mail domainDavid Aspinall
2007-01-20Tweak.David Aspinall
2007-01-10Comment about undo; useDavid Aspinall
2007-01-09Set version tag for new release.David Aspinall
2007-01-03Demonstrate faulty error reporting. Somewhat obscure, unless someDavid Aspinall
2007-01-03Add FAQ on funny symbols/x-symbol problemsDavid Aspinall
2007-01-03Compatibility notesDavid Aspinall
2006-12-30tuned;Makarius Wenzel
2006-12-22Added some keywords ("Declare Module Import"...).Pierre Courtieu
2006-12-20Remove thy-mode from isaDavid Aspinall
2006-12-20Remove isa dirDavid Aspinall
2006-12-20Set version tag for new release.David Aspinall
2006-12-19Support older version of define-minor-modeDavid Aspinall
2006-12-13Added completion to coq-prog-name asking.Pierre Courtieu
2006-12-12Fixed keyboard shortcuts.Pierre Courtieu
2006-12-12Fixed coq 8.0 compatibility and coq version detection.Pierre Courtieu
2006-12-11Set version tag for new release.David Aspinall
2006-12-11Update, note about Isabelle 2004David Aspinall
2006-12-07back again for isar;Makarius Wenzel
2006-12-07isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p...Makarius Wenzel
2006-12-07removed obsolete references to 'isa';Makarius Wenzel
2006-12-07proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Makarius Wenzel
2006-12-05New files.David Aspinall
2006-12-05Deleted fileDavid Aspinall
2006-12-05X-Symbol config. Moved from isa/David Aspinall
2006-12-05Use Isar-specific isabelle-system fileDavid Aspinall
2006-11-07Set version tag for new release.David Aspinall
2006-11-04isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...Makarius Wenzel
2006-11-04isar-strip-terminators, isar-detect-begin: proof-search-forward;Makarius Wenzel
2006-10-29New files.David Aspinall
2006-10-29Updated.David Aspinall
2006-10-27Set version tag for new release.David Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2006-10-23Error highlighting in coq only when scripting (not when sendingPierre Courtieu
2006-10-11reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;Makarius Wenzel
2006-10-11isar-keywords-indent-enclose: include "begin" keyword;Makarius Wenzel
2006-10-11added regexps for begin/end and theory start;Makarius Wenzel
2006-10-11removed obsolete isar-detect-header;Makarius Wenzel
2006-10-06Fix for coq-utf-safe.Pierre Courtieu
2006-09-29utf safe coq mode is not linked to proof-shell-unicode, as unicode isPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 14:43:32 +0000