aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2018-02-20Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)Erik Martin-Dorel
2017-08-15Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Erik Martin-Dorel
2017-06-19Fix easycrypt automode regexpMario Rodas
2017-06-06Fixing bug #187 by removing trailing spaces from prog name.Pierre Courtieu
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
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-03-13Fixing #167.Pierre Courtieu
2017-03-08Remove uses of defpgdefault in coq-abbrevClé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-08Remove some Emacs <24.1 compatibility cruftClé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-03Merge pull request #163 from ProofGeneral/fix_indentationPierre Courtieu
2017-03-03Remove default key-binding for proof-electric-terminator-toggle.Erik Martin-Dorel
2017-02-24Removing spurious debug messages.Pierre Courtieu
2017-02-23Fixing #154.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-17Merge pull request #44 from EasyCrypt/masterhendriktews
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-28fix prooftree crash with long evar linesHendrik Tews
2016-12-14fix generic interrupt procedure to interrupt parallel background compilationHendrik Tews
2016-12-14Merge pull request #129 from hendriktews/keep-goinghendriktews
2016-12-14Merge pull request #132 from Matafou/masterPierre Courtieu
2016-12-12remove default absolute name from coq-prog-name, but keep dipsplaying it when...Pierre Courtieu
2016-12-08option coq-compile-keep-going for parallel compilationHendrik Tews
2016-11-30fix 2 compilation warnings (fixes #33)Hendrik Tews
2016-11-02fix error in process filter: Cannot resize windowHendrik Tews
2016-09-25proof-retract-before-change: Fix #41 by saving/restoring the match data.Erik Martin-Dorel
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-09-16Fix reference to log-warning-minimum-levelpsteckler
2016-08-25Ensure PG overlays have pg-span property (#98)Tej Chajed
2016-07-04Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).Erik Martin-Dorel
2016-06-10Reset proof-script-buffer to nil if -ready-prover failsClément Pit--Claudel
2016-05-24Update PG's logoClément Pit--Claudel
2016-02-13More version number fixesClément Pit--Claudel
2016-01-29Import EasyCrypt PG modePierre-Yves Strub
2016-01-06Merge pull request #22 from ProofGeneral/fix-scrolling-buffersPierre Courtieu
2016-01-06Fixing #25.Pierre Courtieu
2015-12-31Fix spurious scrolling of *goals* and *response* buffersClément Pit--Claudel
2015-11-13Experimenting less brutal frame deletion.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:56:15 +0000