diff options
| author | letouzey | 2013-04-17 15:58:27 +0000 |
|---|---|---|
| committer | letouzey | 2013-04-17 15:58:27 +0000 |
| commit | 52a844dc9419223c9e72a6be43b9657e4d7f1f5f (patch) | |
| tree | 46347aae24f712ae20caf89f0f16b42371cec6d9 /doc/tutorial | |
| parent | 60ac9070895841ce1fa5ca3d206c7595a4adc5a3 (diff) | |
Coqc: repair localisation of errors in files
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16418 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions