aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* X-Symbol config. Moved from isa/Gravatar David Aspinall2006-12-05
* Use Isar-specific isabelle-system fileGravatar David Aspinall2006-12-05
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...Gravatar Makarius Wenzel2006-11-04
* isar-strip-terminators, isar-detect-begin: proof-search-forward;Gravatar Makarius Wenzel2006-11-04
* New files.Gravatar David Aspinall2006-10-29
* Updated.Gravatar David Aspinall2006-10-29
* Set version tag for new release.Gravatar David Aspinall2006-10-27
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Error highlighting in coq only when scripting (not when sendingGravatar Pierre Courtieu2006-10-23
* reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;Gravatar Makarius Wenzel2006-10-11
* isar-keywords-indent-enclose: include "begin" keyword;Gravatar Makarius Wenzel2006-10-11
* added regexps for begin/end and theory start;Gravatar Makarius Wenzel2006-10-11
* removed obsolete isar-detect-header;Gravatar Makarius Wenzel2006-10-11
* Fix for coq-utf-safe.Gravatar Pierre Courtieu2006-10-06
* utf safe coq mode is not linked to proof-shell-unicode, as unicode isGravatar Pierre Courtieu2006-09-29
* adapting to proof-shell-unicode. Coq has not been adapted to theGravatar Pierre Courtieu2006-09-29
* Simplified prompt regexp for coq, preparing new prompt delimitersGravatar Pierre Courtieu2006-09-29
* fixed a bug with wakeup char for coq.Gravatar Pierre Courtieu2006-09-29
* Added \x6 as a possible wakeup char for coq. For the moment thisGravatar Pierre Courtieu2006-09-25
* Set version tag for new release.Gravatar David Aspinall2006-09-24
* Tweaks to buffer history mode. Still intermediate version.Gravatar David Aspinall2006-09-24
* Deleted fileGravatar David Aspinall2006-09-24
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Fix typo.Gravatar David Aspinall2006-09-22
* Cut comint input ring, minor efficiency tweak.Gravatar David Aspinall2006-09-22
* Updated.Gravatar David Aspinall2006-09-22
* Tweak.Gravatar David Aspinall2006-09-22
* Fix typo.Gravatar David Aspinall2006-09-22
* Comments.Gravatar David Aspinall2006-09-22
* Add workaround for GNU Emacs problems in easymenu-add.Gravatar David Aspinall2006-09-22
* Update to 0.4.8 from sourceforge.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Packaging fixes: put isar/interface in right place; install examples and doc ...Gravatar David Aspinall2006-09-22
* Updated.Gravatar David Aspinall2006-09-22
* Deleted fileGravatar David Aspinall2006-09-22
* typo in coq-indent.Gravatar Pierre Courtieu2006-09-15
* fixed a typo in last correction.Gravatar Pierre Courtieu2006-09-15
* fix a bug with error highlighting. Not sure it is ok but seems toGravatar Pierre Courtieu2006-09-14
* fixed a bug from Stefan Monnier.Gravatar Pierre Courtieu2006-09-14
* cleaning from Stefan Monnier.Gravatar Pierre Courtieu2006-09-13
* cleaning from Stefan Monnier.Gravatar Pierre Courtieu2006-09-13
* Updated.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Fixed nested comment support for scripting, in xemacs (worked alreadyGravatar Pierre Courtieu2006-09-08
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Updated.Gravatar David Aspinall2006-09-07
* update CHANGES.Gravatar Pierre Courtieu2006-09-07
* Updated CHANGES.Gravatar Pierre Courtieu2006-09-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-29 01:07:19 +0000