aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-03Remove default key-binding for proof-electric-terminator-toggle.Erik Martin-Dorel
2017-03-02use Utf8 from Coq libraryPaul Steckler
2017-02-27serveral coqtags fixes and improvementsHendrik Tews
2017-02-27Merge pull request #156 from Matafou/fix-154Pierre Courtieu
2017-02-25Add easycrypt and twelf to MakefileClément Pit--Claudel
2017-02-24Removing spurious debug messages.Pierre Courtieu
2017-02-23Fixing #154.Pierre Courtieu
2017-02-21[ec mode]: update keywordsPierre-Yves Strub
2017-01-26Fixing #147 and #91 + others indentation bugs.Pierre Courtieu
2017-01-26Merge branch 'master' of github.com:ProofGeneral/PG into master_originPierre Courtieu
2017-01-24annoying missing parentheisis in a comment.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-17move phox from main to obscure instancesHendrik Tews
2017-01-17use makeinfo instead of texi2htmlHendrik Tews
2017-01-17fix coqtagsHendrik Tews
2017-01-17Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)Jason Gross
2017-01-17Merge pull request #44 from EasyCrypt/masterhendriktews
2017-01-17Merge pull request #107 from JasonGross/patch-3hendriktews
2017-01-17fix icon installation and add 64 and 128 square icons (fixes #141)Hendrik Tews
2017-01-14Fix prooftree for Coq 8.6Hendrik Tews
2017-01-04Merge remote-tracking branch 'OFFICIAL/master'Pierre Courtieu
2017-01-04Fixing #121 + avoid hiding user windows too much.Pierre Courtieu
2016-12-31A first pass at converting from CVS to git. (#127)zhenya1007
2016-12-31add second argument to looking-back, required in emacs25Hendrik Tews
2016-12-28fix prooftree crash with long evar linesHendrik Tews
2016-12-28properly reset the vio2vo delay timerHendrik Tews
2016-12-26Fix doc for Coq electric terminator.Erik Martin-Dorel
2016-12-16Merge pull request #133 from hendriktews/file-errorhendriktews
2016-12-15add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576Hendrik Tews
2016-12-15Improve doc on coq project fileHendrik Tews
2016-12-15fix :get for coq-search-blacklistHendrik Tews
2016-12-15Merge pull request #101 from tchajed/print-universes-optionhendriktews
2016-12-15die gracefully when visiting files in nonexisting directoriesHendrik Tews
2016-12-14fix generic interrupt procedure to interrupt parallel background compilationHendrik Tews
2016-12-14fix race in vio2vo compilation startHendrik Tews
2016-12-14fix parallel build and other issues in Makefile (fixes #130)Hendrik Tews
2016-12-14Merge pull request #129 from hendriktews/keep-goinghendriktews
2016-12-14Merge pull request #132 from Matafou/masterPierre Courtieu
2016-12-13Same name guessing for coqc/coqdep then for coqtop.Pierre Courtieu
2016-12-12remove default absolute name from coq-prog-name, but keep dipsplaying it when...Pierre Courtieu
2016-12-08documentation and CHANGES for coq-compile-keep-goingHendrik Tews
2016-12-08option coq-compile-keep-going for parallel compilationHendrik Tews
2016-12-02remove ancestor hash in Coq parallel background compilationHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:02:41 +0000