aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-03-04Set version tag for new release.David Aspinall
2007-03-03Updated.David Aspinall
2007-03-03Tweaks to bugs sectionDavid Aspinall
2007-03-03Set version tag for new release.David Aspinall
2007-03-03Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)David Aspinall
2007-03-03Remove old Isabelle section and references to it; clean up and streamline ↵David Aspinall
Isabelle/Isar section
2007-03-03Switch to 3.7preDavid Aspinall
2007-03-03Set version tag for new release.David Aspinall
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
tactics are using Output.error_msg rather than the "error" function.
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 ↵Makarius Wenzel
post-Isabelle2005 the latter is empty anyway);
2006-12-07removed obsolete references to 'isa';Makarius Wenzel
2006-12-07proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵Makarius Wenzel
breaks Poly/MK 5;
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 ↵Makarius Wenzel
usually appears locally as plain theory command; isar-keywords-proper: simplified font-lock; added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end;
2006-11-04isar-strip-terminators, isar-detect-begin: proof-search-forward;Makarius Wenzel
2006-10-29New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-18 01:40:56 +0000