| Age | Commit message (Expand) | Author |
|---|
| 2007-01-20 | Tweak. | David Aspinall |
| 2007-01-10 | Comment about undo; use | David Aspinall |
| 2007-01-09 | Set version tag for new release. | David Aspinall |
| 2007-01-03 | Demonstrate faulty error reporting. Somewhat obscure, unless some | David Aspinall |
| 2007-01-03 | Add FAQ on funny symbols/x-symbol problems | David Aspinall |
| 2007-01-03 | Compatibility notes | David Aspinall |
| 2006-12-30 | tuned; | Makarius Wenzel |
| 2006-12-22 | Added some keywords ("Declare Module Import"...). | Pierre Courtieu |
| 2006-12-20 | Remove thy-mode from isa | David Aspinall |
| 2006-12-20 | Remove isa dir | David Aspinall |
| 2006-12-20 | Set version tag for new release. | David Aspinall |
| 2006-12-19 | Support older version of define-minor-mode | David Aspinall |
| 2006-12-13 | Added completion to coq-prog-name asking. | Pierre Courtieu |
| 2006-12-12 | Fixed keyboard shortcuts. | Pierre Courtieu |
| 2006-12-12 | Fixed coq 8.0 compatibility and coq version detection. | Pierre Courtieu |
| 2006-12-11 | Set version tag for new release. | David Aspinall |
| 2006-12-11 | Update, note about Isabelle 2004 | David Aspinall |
| 2006-12-07 | back again for isar; | Makarius Wenzel |
| 2006-12-07 | isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p... | Makarius Wenzel |
| 2006-12-07 | removed obsolete references to 'isa'; | Makarius Wenzel |
| 2006-12-07 | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break... | Makarius Wenzel |
| 2006-12-05 | New files. | David Aspinall |
| 2006-12-05 | Deleted file | David Aspinall |
| 2006-12-05 | X-Symbol config. Moved from isa/ | David Aspinall |
| 2006-12-05 | Use Isar-specific isabelle-system file | David Aspinall |
| 2006-11-07 | Set version tag for new release. | David Aspinall |
| 2006-11-04 | isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua... | Makarius Wenzel |
| 2006-11-04 | isar-strip-terminators, isar-detect-begin: proof-search-forward; | Makarius Wenzel |
| 2006-10-29 | New files. | David Aspinall |
| 2006-10-29 | Updated. | David Aspinall |
| 2006-10-27 | Set version tag for new release. | David Aspinall |
| 2006-10-27 | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall |
| 2006-10-23 | Error highlighting in coq only when scripting (not when sending | Pierre Courtieu |
| 2006-10-11 | reintroduced pg-subterm-first-special-char, which makes PG strip goal markup; | Makarius Wenzel |
| 2006-10-11 | isar-keywords-indent-enclose: include "begin" keyword; | Makarius Wenzel |
| 2006-10-11 | added regexps for begin/end and theory start; | Makarius Wenzel |
| 2006-10-11 | removed obsolete isar-detect-header; | Makarius Wenzel |
| 2006-10-06 | Fix for coq-utf-safe. | Pierre Courtieu |
| 2006-09-29 | utf safe coq mode is not linked to proof-shell-unicode, as unicode is | Pierre Courtieu |
| 2006-09-29 | adapting to proof-shell-unicode. Coq has not been adapted to the | Pierre Courtieu |
| 2006-09-29 | Simplified prompt regexp for coq, preparing new prompt delimiters | Pierre Courtieu |
| 2006-09-29 | fixed a bug with wakeup char for coq. | Pierre Courtieu |
| 2006-09-25 | Added \x6 as a possible wakeup char for coq. For the moment this | Pierre Courtieu |
| 2006-09-24 | Set version tag for new release. | David Aspinall |
| 2006-09-24 | Tweaks to buffer history mode. Still intermediate version. | David Aspinall |
| 2006-09-24 | Deleted file | David Aspinall |
| 2006-09-24 | Add buffer history browsing | David Aspinall |
| 2006-09-22 | Fix typo. | David Aspinall |
| 2006-09-22 | Cut comint input ring, minor efficiency tweak. | David Aspinall |
| 2006-09-22 | Updated. | David Aspinall |
