diff options
author | Assia Mahboubi <assia.mahboubi@inria.fr> | 2015-06-24 13:17:20 +0200 |
---|---|---|
committer | Assia Mahboubi <assia.mahboubi@inria.fr> | 2015-06-26 00:11:56 +0200 |
commit | 5e022fcf97e64a2fdb5ca97d7f877557591fc93c (patch) | |
tree | e4312fdd305157411cf01618150aac3968fabbc9 /interp/doc.tex | |
parent | 679e49dbdc1448c65122eecd24783eb35376d492 (diff) |
Added _CoqProject to the index of the reference manual.
Diffstat (limited to 'interp/doc.tex')
0 files changed, 0 insertions, 0 deletions