aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2018-02-07typo in abbrevs.Pierre Courtieu
2018-01-26look for vernac controls before focus bracket, fix for #223Paul Steckler
2018-01-15Experimental fix for #220.Pierre Courtieu
2017-12-11Fix #214.Pierre Courtieu
2017-11-06Prettier cheat face (background + box).Pierre Courtieu
2017-11-06Fix #135.Pierre Courtieu
2017-10-26Limited extensibility of smie token detection.Pierre Courtieu
2017-07-19changed -emacs-U flag to -emacsPaul Steckler
2017-06-08Fixing a bug with Set/Unset commands due to recent commits.Pierre Courtieu
2017-06-06Adding a Set Silent + Show when backtracking into a proof.Pierre Courtieu
2017-05-25Merge pull request #185 from psteckler/remove-contribspsteckler
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-05-23Fixing #183.Pierre Courtieu
2017-05-16Fixing Set/Unset Printing broken by auto "Show".Pierre Courtieu
2017-05-12temporary fix of automatic intros.Pierre Courtieu
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-05-05Merge pull request #157 from ProofGeneral/elpaClément Pit-Claudel
2017-04-25Typo from commit 758e679e.Pierre Courtieu
2017-04-24Preparing new warning tags (no more special chars).Pierre Courtieu
2017-04-19Fix #176.Pierre Courtieu
2017-03-31Fixing #173.Pierre Courtieu
2017-03-22Added support for future new options (trunk).Pierre Courtieu
2017-03-08Add a FIXME in coq.elClément Pit--Claudel
2017-03-08Remove uses of defpgdefault in coq-abbrevClément Pit--Claudel
2017-03-08Remove uses of defpacustom in coq-compile-commonClément Pit--Claudel
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2017-03-08Remove unnecessary calls to 'eval-and-compile'Clément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-03-08Fix incorrect assumption that noninteractive == byte-compilingClément Pit--Claudel
2017-03-08Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'Paul Steckler
2017-03-08Fixing unicode tokens in generic code and in coq.Pierre Courtieu
2017-03-06get threeb frames only when neededPaul Steckler
2017-03-06one more redundant call removedPaul Steckler
2017-03-06remove redundant calls, simplify codePaul Steckler
2017-03-03Merge pull request #163 from ProofGeneral/fix_indentationPierre Courtieu
2017-03-03Refreshing goal when Set Printing xxx. (#162)Pierre Courtieu
2017-03-02use Utf8 from Coq libraryPaul Steckler
2017-02-27serveral coqtags fixes and improvementsHendrik Tews
2017-02-23Fixing #154.Pierre Courtieu
2017-01-26Fixing #147 and #91 + others indentation bugs.Pierre Courtieu
2017-01-19save settings not defined with defpacustom (fixes #142)Hendrik Tews
2017-01-18split emergency-cleanup to handle interrupts properly (fixes #143)Hendrik Tews
2017-01-17fix coqtagsHendrik Tews
2017-01-17Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)Jason Gross
2017-01-17Merge pull request #107 from JasonGross/patch-3hendriktews
2017-01-14Fix prooftree for Coq 8.6Hendrik Tews
2016-12-31add second argument to looking-back, required in emacs25Hendrik Tews
2016-12-28properly reset the vio2vo delay timerHendrik Tews
2016-12-16Merge pull request #133 from hendriktews/file-errorhendriktews
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:24:59 +0000