coq
forked from coq/coq
Star 1
Fork 0
Watch
coq test-suite ide
38 files
blocking-futures.fake
bug_11793.fake
bug14981.fake
bug4246.fake
bug4249.fake
bug7088.fake
debug_ltac.fake
fake_ide.ml
join-idem.fake
join-module1.fake
join-module2.fake
join-sync.fake
join.fake
load.fake
proof-diffs.fake
reopen.fake
reopen1.fake
undo001.fake
undo002.fake
undo003.fake
undo004.fake
undo005.fake
undo006.fake
undo008.fake
undo009.fake
undo010.fake
undo012.fake
undo013.fake
undo014.fake
undo015.fake
undo016.fake
undo017.fake
undo018.fake
undo019.fake
undo020.fake
undo021.fake
undo022.fake
univ.fake