diff options
| author | msozeau | 2009-04-14 03:29:03 +0000 |
|---|---|---|
| committer | msozeau | 2009-04-14 03:29:03 +0000 |
| commit | 8c91f2ec3afabc78716ae74550324ca499e5084c (patch) | |
| tree | b6c48b0e8128542d8cbf4017731838716e401e1e /dev/doc/patch.ocaml-3.10.drop.rectypes | |
| parent | 0e608025f45c9ffc2573c72e5c23bc183e3ab0b3 (diff) | |
Fix and actually beautify the bug script to adapt to the new measure
support in Program.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12082 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc/patch.ocaml-3.10.drop.rectypes')
0 files changed, 0 insertions, 0 deletions