diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-09-26 09:01:01 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-09-26 09:01:01 +0000 |
| commit | e35fd10c4ef3c257e91156e07e65234e81672036 (patch) | |
| tree | b915c91bd2e2aa972007cfa8cfd33ff60baa480e /doc/tov8 | |
| parent | 5dc7b25578b16a8508b3317b2c240d7b322629e0 (diff) | |
passage V8
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8343 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/tov8')
| -rwxr-xr-x | doc/tov8 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/tov8 b/doc/tov8 new file mode 100755 index 000000000..b47f482e8 --- /dev/null +++ b/doc/tov8 @@ -0,0 +1,5 @@ +#!/bin/sh + +./tradv8 $1 +mv $1 $1.save +mv $1.v8 $1 |