aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2006-09-29adapting to proof-shell-unicode. Coq has not been adapted to thePierre Courtieu
2006-09-29Simplified prompt regexp for coq, preparing new prompt delimitersPierre Courtieu
2006-09-29fixed a bug with wakeup char for coq.Pierre Courtieu
2006-09-25Added \x6 as a possible wakeup char for coq. For the moment thisPierre Courtieu
2006-09-24Set version tag for new release.David Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Deleted fileDavid Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-22Fix typo.David Aspinall
2006-09-22Cut comint input ring, minor efficiency tweak.David Aspinall
2006-09-22Updated.David Aspinall
2006-09-22Tweak.David Aspinall
2006-09-22Fix typo.David Aspinall
2006-09-22Comments.David Aspinall
2006-09-22Add workaround for GNU Emacs problems in easymenu-add.David Aspinall
2006-09-22Update to 0.4.8 from sourceforge.David Aspinall
2006-09-22Set version tag for new release.David Aspinall
2006-09-22Packaging fixes: put isar/interface in right place; install examples and doc ...David Aspinall
2006-09-22Updated.David Aspinall
2006-09-22Deleted fileDavid Aspinall
2006-09-15typo in coq-indent.Pierre Courtieu
2006-09-15fixed a typo in last correction.Pierre Courtieu
2006-09-14fix a bug with error highlighting. Not sure it is ok but seems toPierre Courtieu
2006-09-14fixed a bug from Stefan Monnier.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 18:46:08 +0000