aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Add unload utility for developmentGravatar David Aspinall2007-08-14
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Set version tag for new release.Gravatar David Aspinall2007-05-10
* Note trac generic user pgemacs/pgemacsGravatar David Aspinall2007-05-10
* Patch for utf-8 testGravatar David Aspinall2007-05-10
* pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...Gravatar David Aspinall2007-05-10
* Add proof-replace-regexp-nocasefoldGravatar David Aspinall2007-05-10
* Make proof-shell-unicode non-nil by defaultGravatar David Aspinall2007-04-30
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
* Clean comments around eval-and-compile proof-modeGravatar David Aspinall2007-04-23
* Fixed a parenthesis, suggested by Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
* Fix links to BUGS and FAQGravatar David Aspinall2007-03-19
* Set version tag for new release.Gravatar David Aspinall2007-03-12
* Set version tag for new release.Gravatar David Aspinall2007-03-04
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Set version tag for new release.Gravatar David Aspinall2007-03-03
* Use replace-regexp instead of proof-replace-regexp to clean charsGravatar David Aspinall2007-03-03
* Remove proof-indent-pad-eol atrocityGravatar David Aspinall2007-02-28
* Tweak.Gravatar David Aspinall2007-01-20
* Set version tag for new release.Gravatar David Aspinall2007-01-09
* Set version tag for new release.Gravatar David Aspinall2006-12-20
* Set version tag for new release.Gravatar David Aspinall2006-12-11
* removed obsolete references to 'isa';Gravatar Makarius Wenzel2006-12-07
* proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Gravatar Makarius Wenzel2006-12-07
* Set version tag for new release.Gravatar David Aspinall2006-11-07
* 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
* 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
* Cut comint input ring, minor efficiency tweak.Gravatar David Aspinall2006-09-22
* Comments.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-22
* Updated.Gravatar David Aspinall2006-09-22
* Set version tag for new release.Gravatar David Aspinall2006-09-12
* Set version tag for new release.Gravatar David Aspinall2006-09-09
* Set version tag for new release.Gravatar David Aspinall2006-09-07
* Making error highlighting more robust (for both emacsen) and use aGravatar Pierre Courtieu2006-09-06
* Error highliting in coq now worksGravatar Pierre Courtieu2006-09-05
* Set version tag for new release.Gravatar David Aspinall2006-08-28
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* Comments and docstring fixes in lib and generic.Gravatar Pierre Courtieu2006-08-23
* Fixed messages of prover process starting and errors in order to haveGravatar Pierre Courtieu2006-08-16
* Set version tag for new release.Gravatar David Aspinall2006-05-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 20:40:46 +0000