Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Tweaks to bugs section | 2007-03-03 | |
| | |||
* | Set version tag for new release. | 2007-03-03 | |
| | |||
* | Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out) | 2007-03-03 | |
| | |||
* | Remove old Isabelle section and references to it; clean up and streamline ↵ | 2007-03-03 | |
| | | | | Isabelle/Isar section | ||
* | Switch to 3.7pre | 2007-03-03 | |
| | |||
* | Set version tag for new release. | 2007-03-03 | |
| | |||
* | Use replace-regexp instead of proof-replace-regexp to clean chars | 2007-03-03 | |
| | |||
* | Patch for XEmacs 21.5 beta match-replace bug | 2007-03-03 | |
| | |||
* | Remove proof-indent-pad-eol atrocity | 2007-02-28 | |
| | |||
* | Updated. | 2007-02-28 | |
| | |||
* | Fix comment | 2007-02-28 | |
| | |||
* | Renamed file | 2007-02-28 | |
| | |||
* | Note on sudo and cp -p clash | 2007-02-27 | |
| | |||
* | Mention prefer-coding-system as suggested by Florian Haftmann | 2007-02-22 | |
| | |||
* | New files. | 2007-02-08 | |
| | |||
* | Patch x-symbol problem with XEmacs beta | 2007-01-20 | |
| | |||
* | Correct mail domain | 2007-01-20 | |
| | |||
* | Tweak. | 2007-01-20 | |
| | |||
* | Comment about undo; use | 2007-01-10 | |
| | |||
* | Set version tag for new release. | 2007-01-09 | |
| | |||
* | Demonstrate faulty error reporting. Somewhat obscure, unless some | 2007-01-03 | |
| | | | | tactics are using Output.error_msg rather than the "error" function. | ||
* | Add FAQ on funny symbols/x-symbol problems | 2007-01-03 | |
| | |||
* | Compatibility notes | 2007-01-03 | |
| | |||
* | tuned; | 2006-12-30 | |
| | |||
* | Added some keywords ("Declare Module Import"...). | 2006-12-22 | |
| | |||
* | Remove thy-mode from isa | 2006-12-20 | |
| | |||
* | Remove isa dir | 2006-12-20 | |
| | |||
* | Set version tag for new release. | 2006-12-20 | |
| | |||
* | Support older version of define-minor-mode | 2006-12-19 | |
| | |||
* | Added completion to coq-prog-name asking. | 2006-12-13 | |
| | |||
* | Fixed keyboard shortcuts. | 2006-12-12 | |
| | |||
* | Fixed coq 8.0 compatibility and coq version detection. | 2006-12-12 | |
| | |||
* | Set version tag for new release. | 2006-12-11 | |
| | |||
* | Update, note about Isabelle 2004 | 2006-12-11 | |
| | |||
* | back again for isar; | 2006-12-07 | |
| | |||
* | isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in ↵ | 2006-12-07 | |
| | | | | post-Isabelle2005 the latter is empty anyway); | ||
* | removed obsolete references to 'isa'; | 2006-12-07 | |
| | |||
* | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵ | 2006-12-07 | |
| | | | | breaks Poly/MK 5; | ||
* | New files. | 2006-12-05 | |
| | |||
* | Deleted file | 2006-12-05 | |
| | |||
* | X-Symbol config. Moved from isa/ | 2006-12-05 | |
| | |||
* | Use Isar-specific isabelle-system file | 2006-12-05 | |
| | |||
* | Set version tag for new release. | 2006-11-07 | |
| | |||
* | isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which ↵ | 2006-11-04 | |
| | | | | | | | 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; | ||
* | isar-strip-terminators, isar-detect-begin: proof-search-forward; | 2006-11-04 | |
| | |||
* | New files. | 2006-10-29 | |
| | |||
* | Updated. | 2006-10-29 | |
| | |||
* | Set version tag for new release. | 2006-10-27 | |
| | |||
* | Rationalise testing for different values of window-system, to/and support ↵ | 2006-10-27 | |
| | | | | more Emacs ports easily | ||
* | Error highlighting in coq only when scripting (not when sending | 2006-10-23 | |
| | | | | command invisibly). |