aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...Gravatar David Aspinall2011-10-13
* Update for 4.2 cycleGravatar David Aspinall2011-10-13
* To fix pgshell mode, restore proof-shell-insert support for a single string a...Gravatar David Aspinall2011-10-13
* Updated.Gravatar David Aspinall2011-10-13
* Note on how to update base revision number (since I got it wrong on first try)Gravatar David Aspinall2011-10-13
* Update base revision number for 4.2 development cycleGravatar David Aspinall2011-10-13
* Update base revision number for 4.2 development cycleGravatar David Aspinall2011-10-13
* Set version tag for new release.Gravatar David Aspinall2011-10-03
* Update dates and versionsGravatar David Aspinall2011-10-03
* Remove some non-existent ignored filesGravatar David Aspinall2011-10-03
* Move a comment to docstringGravatar David Aspinall2011-10-03
* updated tests to Isabelle2011-1;Gravatar Makarius Wenzel2011-09-28
* fix #426Gravatar Hendrik Tews2011-09-27
* fix coqdep warning treated as error (library occurring atGravatar Hendrik Tews2011-09-23
* fix doc for coq -R patchGravatar Hendrik Tews2011-09-19
* Clean up a little bit, adding extra syntax to make buffer process fully.Gravatar David Aspinall2011-09-19
* Set version tag for new release.Gravatar David Aspinall2011-09-19
* Several improvements:Gravatar David Aspinall2011-09-19
* proof-full-annotation: default to nilGravatar David Aspinall2011-09-18
* brute-force method to enable tool-bar-mode, which is especially important on ...Gravatar Makarius Wenzel2011-09-17
* Set version tag for new release.Gravatar David Aspinall2011-09-16
* Tweak to Emacs package buildingGravatar David Aspinall2011-09-16
* fix widget descriptions of coq-load-pathGravatar Hendrik Tews2011-09-15
* -add support for -R and -I -as in coq-load-pathGravatar Hendrik Tews2011-09-15
* fix #421 with solution 1Gravatar Hendrik Tews2011-09-14
* proof-electric-terminator: allow a prefix argument to avoid electric action.Gravatar David Aspinall2011-09-14
* # User Robin Green <greenrd@greenrd.org>Gravatar David Aspinall2011-09-14
* Fix typoGravatar David Aspinall2011-09-14
* Remove contentious call to set-process-query-on-exit-flag, ref Trac#424Gravatar David Aspinall2011-09-14
* Add another contributor.Gravatar David Aspinall2011-09-14
* Fix proof-shell-exit optional argument with (interactive) thanks toGravatar Pierre Courtieu2011-09-11
* fix documentation errorGravatar Hendrik Tews2011-09-09
* Fix trac #420 indentation freezing.Gravatar Pierre Courtieu2011-09-04
* some local buffer properties;Gravatar Makarius Wenzel2011-09-04
* Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.Gravatar David Aspinall2011-08-31
* clarified isar-improper-regexp -- "prems" is already reported as legacy by th...Gravatar Makarius Wenzel2011-08-31
* Non Unicode charGravatar David Aspinall2011-08-29
* Capitalize menu itemsGravatar David Aspinall2011-08-24
* Set version tag for new release.Gravatar David Aspinall2011-08-24
* eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-nameGravatar David Aspinall2011-08-24
* Remove PG prefix from toolbar button names (needed for disambiguity in older ...Gravatar David Aspinall2011-08-23
* Add back annotation for docstring for texinfoGravatar David Aspinall2011-08-23
* Update magicGravatar David Aspinall2011-08-23
* Set version tag for new release.Gravatar David Aspinall2011-08-23
* Note TODO for indent testing!Gravatar David Aspinall2011-08-23
* Move coq-prog-name back to coq.elGravatar David Aspinall2011-08-23
* Crude patch for Trac #416. I haven't tried to understand indent code fully, ...Gravatar David Aspinall2011-08-23
* Fixing track 414 by adding Preterm as a state preserving command.Gravatar Pierre Courtieu2011-07-29
* Updated.Gravatar David Aspinall2011-07-26
* Fix compile when smie isnt availableGravatar David Aspinall2011-07-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 16:37:55 +0000