diff options
| author | narboux | 2004-04-30 11:20:09 +0000 |
|---|---|---|
| committer | narboux | 2004-04-30 11:20:09 +0000 |
| commit | a9888128250cbbdc98b73b11f81309012397c807 (patch) | |
| tree | e51c1b97bb72ab49a45b7b3a31e44b89f8e9bf4f /doc/tutorial/Tutorial.tex | |
| parent | b48240e2c319eb66be3b58d3812792e86be56d32 (diff) | |
coloration ok
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8560 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions