aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Fixing the scripting of new subproof script parenthesizing ({ and }).Gravatar Pierre Courtieu2011-07-08
* generalized font-lock regexps: isar-text allows any non-control characters to...Gravatar Makarius Wenzel2011-07-06
* + fix documentation and one spelling errorGravatar Hendrik Tews2011-07-05
* Some more sample indentation patterns added.Gravatar Pierre Courtieu2011-07-01
* coq-use-smie not enabled by defaultGravatar David Aspinall2011-06-22
* Remove pointer to closed ticketGravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Removed { and } as command terminators for now.Gravatar Pierre Courtieu2011-06-19
* oops, undo last commit.Gravatar Pierre Courtieu2011-06-17
* Fix mais le find-father ne marche pas encore.Gravatar Pierre Courtieu2011-06-17
* * coq.el: Fix up a few comment conventions; Improve SMIE indentation.Gravatar Stefan Monnier2011-06-11
* Version bumpGravatar David Aspinall2011-06-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 10:44:26 +0000