coq/dev/README, branch master The formal proof system Clean up documentation around beginner's guide. 2018-07-02T16:30:13+00:00 Siddharth Bhat 2018-06-27T21:29:00+00:00 5dfa8c9d9e3f1a5391825338498e0aaac28b4e28 - move `README` to `README.md` to take advantage of markdown features - remove `setup.txt`, port the editor specific information to the wiki. Merge development information into `dev/doc/README.md`. Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup. - Add new links to files into `dev/README.md`. - Remove stale `translate.txt`. 
- move `README` to `README.md` to take advantage of markdown features
- remove `setup.txt`, port the editor specific information to the wiki.
  Merge development information into `dev/doc/README.md`.
      Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup.
- Add new links to files into `dev/README.md`.
- Remove stale `translate.txt`.
Merge PR #6556: Remove dir-locals and ship suggested helper hooks instead. 2018-02-19T09:07:23+00:00 Maxime Dénès 2018-02-19T09:07:23+00:00 8e9d1421354d55bc2ea71e37715a19d33cc9bc9c 






Remove dir-locals and ship suggested helper hooks instead.
2018-01-06T12:00:42+00:00

Gaëtan Gilbert

2018-01-06T11:26:49+00:00

568dffcc32cfdec78e7824fa6875d892fb9cfd5a

.dir-locals led to issues with unsafe local variable warnings. With
this method the user is opting in to running this code so there are no warnings.





.dir-locals led to issues with unsafe local variable warnings. With
this method the user is opting in to running this code so there are no warnings.







Add instructions for debugging from the command line (and in Windows)
2017-12-29T14:32:12+00:00

Jim Fehrle

2017-12-23T21:37:52+00:00

2aeb740de93a0b32efe71bbd3a129e39bc6439e5

Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows)





Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows)







Remove unused Makefiles in dev/tools/
2017-08-01T17:26:33+00:00

Gaëtan Gilbert

2017-06-21T11:49:15+00:00

c720b6f20a4bef54c570d9a3002938828779654b

They seem unused since 8f4b7f1 (2007).





They seem unused since 8f4b7f1 (2007).







dev/tool/anomaly-traces-parser.el
2015-06-25T22:12:21+00:00

Gabriel Scherer

2015-06-25T08:48:03+00:00

d974365ef5928048edb87af218f6105ae454c3b6

An .emacs-ready elisp snippet to parse location of Anomaly backtraces
and jump to them conveniently from the Emacs *compilation* output.





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.
2011-05-03T13:16:18+00:00

pboutill

2011-05-03T13:16:18+00:00

a917945130f1e6b0b68cf842a64e1f42c1314666

Tiny doc of mli-doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14089 85f007b7-540e-0410-9357-904b9bb8a0f7





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 universes
2010-12-24T23:49:15+00:00

glondu

2010-12-24T23:49:15+00:00

e5b94c29ff49f8b880290a72519157d26351bc6c

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





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 EXTEND
2006-05-23T22:03:48+00:00

herbelin

2006-05-23T22:03:48+00:00

0fd68001a55a98881c74e0843aab1d8b9cedfbe8

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8857 85f007b7-540e-0410-9357-904b9bb8a0f7





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 documentations
2006-05-23T21:51:59+00:00

herbelin

2006-05-23T21:51:59+00:00

e24d8149c3aefd11b03458b6f9b3e38ca454b07a

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7