coq/dev/doc/notes-on-conversion, branch master The formal proof system Add .v extension to dev/doc/notes-on-conversion 2017-08-01T17:26:33+00:00 Gaëtan Gilbert 2017-06-21T14:48:38+00:00 6f1e5ff85d736b80a6d3490a21a30c8d37ea18de This gives syntax highlighting in Coq-aware editors. 
This gives syntax highlighting in Coq-aware editors.
Fix some documentation typos. 2016-11-24T14:14:19+00:00 Guillaume Melquiond 2016-11-24T14:14:19+00:00 a27ac0315dcbb99c64a260bac3988199a26b39cf Note: "dependant" does exist, but it is a noun and it means a person that is somehow financially dependent on someone else. 
Note: "dependant" does exist, but it is a noun and it means a person that
is somehow financially dependent on someone else.
Quelques exemples sur l'asymétrie de la conversion 2007-04-29T12:23:35+00:00 herbelin 2007-04-29T12:23:35+00:00 203a01afc6ed9d72e6e1c36fdc8a4cfeb9a38a57 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9814 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9814 85f007b7-540e-0410-9357-904b9bb8a0f7