diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 18:21:14 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-13 18:21:14 +0100 |
| commit | 2a6b7b0dc7093f5706b7a6ebe826b45a5fd8858a (patch) | |
| tree | 27704366e3eb0339a5c8b1e392b1a8ba6f6b276a /test-suite/interactive | |
| parent | d152cd92de90166daf6b80d3e75367ae5247990d (diff) | |
nanoPG: better copy/paste
Diffstat (limited to 'test-suite/interactive')
| -rwxr-xr-x | test-suite/interactive/ParalITP_smallproofs.v (renamed from test-suite/interactive/Paral-ITP-demo.v) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/interactive/Paral-ITP-demo.v b/test-suite/interactive/ParalITP_smallproofs.v index 0d75d52a3..0d75d52a3 100755 --- a/test-suite/interactive/Paral-ITP-demo.v +++ b/test-suite/interactive/ParalITP_smallproofs.v |