diff options
| author | vgross | 2009-01-20 15:12:12 +0000 |
|---|---|---|
| committer | vgross | 2009-01-20 15:12:12 +0000 |
| commit | d784d86b6f790189a3bcabcac9e26b36ec73bbad (patch) | |
| tree | 282c340ac308e3a78d9579036ae4e994a9cefd30 /doc/RecTutorial | |
| parent | 3ca29caf5be9d277aa1fbeb6fb6c355d3ded832a (diff) | |
Added proof folding into CoqIde. See RefMan for using it.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11814 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions