diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-17 20:26:40 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-09-17 20:26:40 +0000 |
commit | 63f03c10ae2e99e6dea7f038295f98487bf51a5d (patch) | |
tree | f2dc34ec818e4dd6e7e81bce9863e2d54a3f9356 /tools/coqdep_lexer.mli | |
parent | 1d68059e265f72e1665cc82b51707d9778103ac1 (diff) |
doc/refman/Extraction.tex: no need to actually build euclid.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14478 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdep_lexer.mli')
0 files changed, 0 insertions, 0 deletions