aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/README
Commit message (Collapse)AuthorAge
* Remove unused Makefiles in dev/tools/Gravatar Gaëtan Gilbert2017-08-01
| | | | They seem unused since 8f4b7f1 (2007).
* dev/tool/anomaly-traces-parser.elGravatar Gabriel Scherer2015-06-26
| | | | | An .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from the Emacs *compilation* output.
* As many notation for for vectors as for List.Gravatar pboutill2011-05-03
| | | | | | Tiny doc of mli-doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14089 85f007b7-540e-0410-9357-904b9bb8a0f7
* Remove obsolete script univdot, update dev doc about universesGravatar glondu2010-12-24
| | | | | | | 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
* Mise à jour dev/doc/changes.txt et ajout d'un mot sur TACTIC EXTENDGravatar herbelin2006-05-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8857 85f007b7-540e-0410-9357-904b9bb8a0f7
* Restructuration dossier dev et mise à jour de certaines documentationsGravatar herbelin2006-05-23
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7
* Pour les développeurs extérieursGravatar herbelin2001-12-19
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2339 85f007b7-540e-0410-9357-904b9bb8a0f7