aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* elpa: Add a package file and a package.el-friendly init scriptGravatar Clément Pit--Claudel2017-03-08
* Add a FIXME in coq.elGravatar Clément Pit--Claudel2017-03-08
* Remove uses of defpgdefault in coq-abbrevGravatar Clément Pit--Claudel2017-03-08
* Remove uses of defpacustom in coq-compile-commonGravatar Clément Pit--Claudel2017-03-08
* easycrypt: Don't require pg-custom: it breaks compilationGravatar Clément Pit--Claudel2017-03-08
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Remove unnecessary calls to 'eval-and-compile'Gravatar Clément Pit--Claudel2017-03-08
* Remove a few useless eval-and-compile callsGravatar Clément Pit--Claudel2017-03-08
* Remove some Emacs <24.1 compatibility cruftGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'Gravatar Paul Steckler2017-03-08
|\
| * Fixing unicode tokens in generic code and in coq.Gravatar Pierre Courtieu2017-03-08
* | get threeb frames only when neededGravatar Paul Steckler2017-03-06
* | one more redundant call removedGravatar Paul Steckler2017-03-06
* | remove redundant calls, simplify codeGravatar Paul Steckler2017-03-06
* | Merge pull request #163 from ProofGeneral/fix_indentationGravatar Pierre Courtieu2017-03-03
|\ \
* | | Refreshing goal when Set Printing xxx. (#162)Gravatar Pierre Courtieu2017-03-03
* | | Remove default key-binding for proof-electric-terminator-toggle.Gravatar Erik Martin-Dorel2017-03-03
* | | use Utf8 from Coq libraryGravatar Paul Steckler2017-03-02
* | | serveral coqtags fixes and improvementsGravatar Hendrik Tews2017-02-27
* | | Merge pull request #156 from Matafou/fix-154Gravatar Pierre Courtieu2017-02-27
|\ \ \
* | | | Add easycrypt and twelf to MakefileGravatar Clément Pit--Claudel2017-02-25
| * | | Removing spurious debug messages.Gravatar Pierre Courtieu2017-02-24
| * | | Fixing #154.Gravatar Pierre Courtieu2017-02-23
|/ / /
* | / [ec mode]: update keywordsGravatar Pierre-Yves Strub2017-02-21
| |/ |/|
| * Fixing #147 and #91 + others indentation bugs.Gravatar Pierre Courtieu2017-01-26
| * Merge branch 'master' of github.com:ProofGeneral/PG into master_originGravatar Pierre Courtieu2017-01-26
| |\ | |/ |/|
| * annoying missing parentheisis in a comment.Gravatar Pierre Courtieu2017-01-24
* | save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* | split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* | move phox from main to obscure instancesGravatar Hendrik Tews2017-01-17
* | use makeinfo instead of texi2htmlGravatar Hendrik Tews2017-01-17
* | fix coqtagsGravatar Hendrik Tews2017-01-17
* | Add {Local ,}Axioms like {Local ,}Axiom, fix Parameters (#106)Gravatar Jason Gross2017-01-17
* | Merge pull request #44 from EasyCrypt/masterGravatar hendriktews2017-01-17
|\ \
* \ \ Merge pull request #107 from JasonGross/patch-3Gravatar hendriktews2017-01-17
|\ \ \
* | | | fix icon installation and add 64 and 128 square icons (fixes #141)Gravatar Hendrik Tews2017-01-17
* | | | Fix prooftree for Coq 8.6Gravatar Hendrik Tews2017-01-14
| |_|/ |/| |
* | | Merge remote-tracking branch 'OFFICIAL/master'Gravatar Pierre Courtieu2017-01-04
|\ \ \
* | | | Fixing #121 + avoid hiding user windows too much.Gravatar Pierre Courtieu2017-01-04
| * | | A first pass at converting from CVS to git. (#127)Gravatar zhenya10072016-12-31
| * | | add second argument to looking-back, required in emacs25Gravatar Hendrik Tews2016-12-31
| * | | fix prooftree crash with long evar linesGravatar Hendrik Tews2016-12-28
| * | | properly reset the vio2vo delay timerGravatar Hendrik Tews2016-12-28
| * | | Fix doc for Coq electric terminator.Gravatar Erik Martin-Dorel2016-12-26
| * | | Merge pull request #133 from hendriktews/file-errorGravatar hendriktews2016-12-16
| |\ \ \
| * | | | add quote to fix commit e3cc66dc2e60683531d75c12256d059ccbc64576Gravatar Hendrik Tews2016-12-15
| * | | | Improve doc on coq project fileGravatar Hendrik Tews2016-12-15
| * | | | fix :get for coq-search-blacklistGravatar Hendrik Tews2016-12-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 12:57:42 +0000