aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-01-17Disable ASLR during Travis buildsClément Pit--Claudel
2018-01-16Get rid of old-style backquotesClément Pit--Claudel
2018-01-15Experimental fix for #220.Pierre Courtieu
2017-12-22Make coq-prog-args safe when list of strings.Gaëtan Gilbert
2017-12-11Fix #214.Pierre Courtieu
2017-11-06Prettier cheat face (background + box).Pierre Courtieu
2017-11-06Fix #135.Pierre Courtieu
2017-10-26Updating CHANGES with lexer extensibility.Pierre Courtieu
2017-10-26Limited extensibility of smie token detection.Pierre Courtieu
2017-09-22phox syntax table + more symbolsChristophe Raffalli
2017-09-22phox is backChristophe Raffalli
2017-08-15Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Erik Martin-Dorel
2017-07-19changed -emacs-U flag to -emacsPaul Steckler
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-09extend helpspan, issue #158Paul Steckler
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:24:37 +0000