aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-07-06Merge pull request #191 from AndreasLoow/proof-layout-windows-doc-formattingPierre Courtieu
2017-06-30Formatting fix for proof-layout-windows documentationAndreas Lööw
2017-06-19Merge pull request #189 from marsam/masterClément Pit-Claudel
2017-06-19Fix easycrypt automode regexpMario Rodas
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-06-06Fixing bug #187 by removing trailing spaces from prog name.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-25[Travis CI] Replace emacs-git target with emacs-25.{1,2} stable targets. (#181)Erik Martin-Dorel
2017-04-25Remove bin/proofgeneral and Update Makefiles accordingly.Erik Martin-Dorel
2017-04-24Preparing new warning tags (no more special chars).Pierre Courtieu
2017-04-19Fix #176.Pierre Courtieu
2017-04-18Add file contrib/mmm/.nosearch to help feature extraction toolsJonas Bernoulli
2017-04-12[doc]: add documentation for the EasyCrypt modePierre-Yves Strub
2017-03-31Fixing #173.Pierre Courtieu
2017-03-22Added support for future new options (trunk).Pierre Courtieu
2017-03-13Fixing #167.Pierre Courtieu
2017-03-08elpa: Add a package file and a package.el-friendly init scriptClément Pit--Claudel
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-08easycrypt: Don't require pg-custom: it breaks compilationClé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 a few useless eval-and-compile callsClé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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 00:25:54 +0000