aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Merge PR #6543: Update headers and creditsGravatar Maxime Dénès2018-02-24
|\
* \ Merge PR #6803: coqdev.el: add space at the end of compile-commandGravatar Maxime Dénès2018-02-24
|\ \
* | | [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
* | | Merge PR #6767: [ci] add elpiGravatar Maxime Dénès2018-02-21
|\ \ \
* \ \ \ Merge PR #6283: A pre-commit hook to magically fix whitespace issues.Gravatar Maxime Dénès2018-02-21
|\ \ \ \
| | | | * More accurate and complete headers.Gravatar Théo Zimmermann2018-02-21
| |_|_|/ |/| | |
| | | * coqdev.el: add space at the end of compile-commandGravatar Gaëtan Gilbert2018-02-21
| |_|/ |/| |
| | * ci: add elpiGravatar Enrico Tassi2018-02-19
| |/ |/|
* | Merge PR #6771: [engine] Remove ghost parameter from `Proofview.Goal.t`Gravatar Maxime Dénès2018-02-19
|\ \
* \ \ Merge PR #6753: [toplevel] Make toplevel state into a record.Gravatar Maxime Dénès2018-02-19
|\ \ \
* \ \ \ Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\ \ \ \
* \ \ \ \ Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead.Gravatar Maxime Dénès2018-02-19
|\ \ \ \ \
| | * | | | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| | | * | | [toplevel] Make toplevel state into a record.Gravatar Emilio Jesus Gallego Arias2018-02-15
| |_|/ / / |/| | | |
| * | | | coqdev.el: wait for 'compile to touch compilation-error-regexp-alistGravatar Gaëtan Gilbert2018-02-13
| * | | | coqdev.el: fix "compilate"-command typoGravatar Gaëtan Gilbert2018-02-13
| * | | | coqdev.el: shell-quote-argument the directory for make -CGravatar Gaëtan Gilbert2018-02-13
| * | | | coqdev.el: stop using when-let for emacs<25 compatibility.Gravatar Gaëtan Gilbert2018-02-13
| | | * | [engine] Remove ghost parameter from `Proofview.Goal.t`Gravatar Emilio Jesus Gallego Arias2018-02-12
* | | | | Merge PR #6565: [Backport script] Check .mli files are not changed.Gravatar Maxime Dénès2018-02-12
|\ \ \ \ \ | |_|_|/ / |/| | | |
* | | | | Merge PR #6718: Fix redirection to stderr in lint-repository error message.Gravatar Maxime Dénès2018-02-12
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6706: ci-common: guess CI_BRANCH for local buildsGravatar Maxime Dénès2018-02-12
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | |
| | | | * | Merge anomaly-traces-parser.el into coqdev.el.Gravatar Gaëtan Gilbert2018-02-11
| | | | * | coqdev.el: add installation instructions.Gravatar Gaëtan Gilbert2018-02-11
| | * | | | Fix redirection to stderr in lint-repository error message.Gravatar Gaëtan Gilbert2018-02-08
| |/ / / / |/| | | |
| | | | * pre-commit: nicer messagesGravatar Gaëtan Gilbert2018-02-08
| | | | * pre-commit: fail gracefully if fixing whitespace removes all changesGravatar Gaëtan Gilbert2018-02-08
| | | | * pre-commit: add files after fixing ending newlines.Gravatar Gaëtan Gilbert2018-02-08
| | | | * Have the pre-commit hook also fix end-of-file nlGravatar Jason Gross2018-02-08
| | | | * Auto-create .git/hooks/pre-commit on ./configureGravatar Jason Gross2018-02-08
| | | | * pre-commit hook: fix whitespace error detectionGravatar Gaëtan Gilbert2018-02-08
| | | | * A pre-commit hook to magically fix whitespace issues.Gravatar Gaëtan Gilbert2018-02-08
* | | | | Merge PR #6610: Points to Flocq official repository.Gravatar Maxime Dénès2018-02-07
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6686: Kernel/checker reduction cleanups around projection unfoldingGravatar Maxime Dénès2018-02-07
|\ \ \ \ \ \
| | | * | | | ci-common: guess CI_BRANCH for local buildsGravatar Gaëtan Gilbert2018-02-07
| |_|/ / / / |/| | | | |
* | | | | | Merge PR #6671: [stm] [toplevel] Make loadpath a parameter of the document.Gravatar Maxime Dénès2018-02-06
|\ \ \ \ \ \
| | | * | | | Points to Flocq official repository.Gravatar Théo Zimmermann2018-02-05
| |_|/ / / / |/| | | | |
| | * | | | Add overlay for equations (nf_beta takes an env)Gravatar Gaëtan Gilbert2018-02-05
* | | | | | Merge PR #6654: CI: Run coqchk on IrisGravatar Maxime Dénès2018-02-05
|\ \ \ \ \ \ | |_|/ / / / |/| | | | |
| | * | | | [stm] [toplevel] Make loadpath a parameter of the document.Gravatar Emilio Jesus Gallego Arias2018-02-05
| |/ / / / |/| | | |
| * | | | CI: Run coqchk on IrisGravatar Ralf Jung2018-01-31
| | |_|/ | |/| |
* | | | Merge PR #6641: ci-compcert.sh: use default value for NJOBS when installing m...Gravatar Maxime Dénès2018-01-31
|\ \ \ \
* \ \ \ \ Merge PR #6535: Cleanup name-binding structure for fresh evar name generation.Gravatar Maxime Dénès2018-01-31
|\ \ \ \ \
| | * | | | Put default value for NJOBS in ci-common.Gravatar Gaëtan Gilbert2018-01-30
| | |/ / /
| * | | | Adding an overlay for Equations.Gravatar Pierre-Marie Pédrot2018-01-30
* | | | | Merge PR #6605: Safer VM interfacesGravatar Maxime Dénès2018-01-30
|\ \ \ \ \
| * | | | | Safer VM interfacesGravatar Maxime Dénès2018-01-26
| | |/ / / | |/| | |
* / | | | Use travis_retry on apt-get updateGravatar Jason Gross2018-01-23
|/ / / /
* | | | Merge PR #6629: Archive COMPATIBILITYGravatar Maxime Dénès2018-01-23
|\ \ \ \