| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-08 | pre-commit: add files after fixing ending newlines. | Gaëtan Gilbert | |
| 2018-02-08 | Have the pre-commit hook also fix end-of-file nl | Jason Gross | |
| 2018-02-08 | Auto-create .git/hooks/pre-commit on ./configure | Jason Gross | |
| The hook created checks to see if dev/tools/pre-commit exists, and, if so, runs it. This way, we don't have to do any fancy logic to update the git pre-commit hook. The configure script never overwrites an existing precommit hook, so users can disable it by creating an empty pre-commit hook. The check for existence is so that if users check out an old version of Coq, attempting to commit won't give an error about non-existent files. | |||
| 2018-02-08 | pre-commit hook: fix whitespace error detection | Gaëtan Gilbert | |
| --quiet implies --exit-code | |||
| 2018-02-08 | A pre-commit hook to magically fix whitespace issues. | Gaëtan Gilbert | |
| 2018-01-23 | Merge PR #6568: Cleanup scripts | Maxime Dénès | |
| 2018-01-16 | merge-pr.sh: use git diff --quiet | Gaëtan Gilbert | |
| 2018-01-16 | Cleanup shell expansions and quoting. | Gaëtan Gilbert | |
| 2018-01-16 | Simplify logic and streamline lint-repository.sh | Gaëtan Gilbert | |
| We inline should-check-whitespace.sh in check-eof-newline.sh simplifying the find invocation. | |||
| 2018-01-10 | Merge PR #6519: Python script checking missing/unnecessary [needs: rebase] label | Maxime Dénès | |
| 2018-01-08 | github-check-prs.py: print PR URLs when needed. | Gaëtan Gilbert | |
| 2018-01-08 | github-check-prs.py: Strip spaces from token from command line | Gaëtan Gilbert | |
| 2018-01-08 | github-check-prs.py: command line option to get token from a file | Gaëtan Gilbert | |
| 2017-12-30 | Expound on dependencies for github-check-prs.py | Gaëtan Gilbert | |
| 2017-12-30 | Python script checking missing/unnecessary [needs: rebase] label | Gaëtan Gilbert | |
| 2017-12-24 | Update backport script for more control. | Théo Zimmermann | |
| 2017-11-29 | Fix usage comment. | Théo Zimmermann | |
| 2017-11-29 | This script apparently uses bash-specific features. | Théo Zimmermann | |
| 2017-11-29 | Fix PR merge script. | Théo Zimmermann | |
| Was still relying on the existence of user-configured /pr/. | |||
| 2017-11-28 | Add PR backport script. | Théo Zimmermann | |
| 2017-11-28 | Add PR merge script. | Maxime Dénès | |
| 2017-11-23 | Linter: do not lint untracked files. | Gaëtan Gilbert | |
| 2017-11-20 | Disable whitespace linter for .out files. | Gaëtan Gilbert | |
| 2017-10-25 | Linter: check that files end with newlines. | Gaëtan Gilbert | |
| We use git check-attr to look at the same files as git diff --check. | |||
| 2017-08-01 | Remove unused Makefiles in dev/tools/ | Gaëtan Gilbert | |
| They seem unused since 8f4b7f1 (2007). | |||
| 2017-06-07 | Put all plugins behind an "API". | Matej Kosik | |
| 2016-04-04 | Merge remote-tracking branch 'origin/pr/78' into trunk: | Maxime Dénès | |
| An .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs *compilation* output. | |||
| 2016-03-12 | Removing an empty file detected by Luc Grateau. | Hugo Herbelin | |
| 2015-06-26 | dev/tool/anomaly-traces-parser.el | Gabriel Scherer | |
| An .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs *compilation* output. | |||
| 2010-12-24 | Remove obsolete script univdot, update dev doc about universes | glondu | |
| By the way, definitely remove "Dump Universes", which has been deprecated since 2006 (r9306). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13754 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2010-07-24 | Updated COPYRIGHT file and header. Improved and fixed header updater. | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13322 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2010-06-22 | New script dev/tools/change-header to automatically update Coq files headers. | herbelin | |
| Applied it to fix mli file headers. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13176 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2006-09-29 | Reactivation des outils de developpement de Jacek | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9190 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2006-05-29 | Fix broken paths. | msozeau | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8874 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2006-05-23 | Restructuration dossier dev et mise à jour de certaines documentations | herbelin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |