diff options
| author | bertot | 2012-06-12 18:26:02 +0000 |
|---|---|---|
| committer | bertot | 2012-06-12 18:26:02 +0000 |
| commit | ba8da7a41255df7b3abf9db76d2f6e5c67876b74 (patch) | |
| tree | 21975b85a845cb1ada7f8056b04a2ce355cdd505 /ide/wg_ScriptView.ml | |
| parent | 9795bb93ad589b712ff8aee7d68463c5fe3ff9b5 (diff) | |
make sure that documentation compilation works after adding files for
arc tangent and computations of PI approximations
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15436 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/wg_ScriptView.ml')
0 files changed, 0 insertions, 0 deletions