coq/test-suite/vi, branch master
The formal proof system
rename: vi -> vio
2015-01-06T17:09:35+00:00
Enrico Tassi
2015-01-06T17:09:26+00:00
341909bbc5c1c59e81dfad2f2532602e2561ec36
test-suite: few tests for ".v -> .vi -> .vo" compilation chain
2014-12-10T10:40:29+00:00
Enrico Tassi
2014-12-10T10:40:23+00:00
b6296c62d391b789dd80e90209a3498f733ae10a