]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b224c0) | patch
Removed internal default timeout
authordenes <??>
Mon, 27 Jul 2009 17:19:43 +0000 (17:19 +0000)
committerdenes <??>
Mon, 27 Jul 2009 17:19:43 +0000 (17:19 +0000)
commit66752a1b8e8daf3d6de8f630b8160ff1e001b2da
tree562149534f8374c1600c1cc61726ac603638ede2tree | snapshot
parent2b224c0d5e0e7f611d4887fd61fff038c292efd5commit | diff
Removed internal default timeout
Added TreeLimitedRun (CASC) script to run_on_a_list
helm/software/components/binaries/matitaprover/TreeLimitedRun.c [new file with mode: 0644] blob
helm/software/components/binaries/matitaprover/matitaprover.ml diff | blob | history
helm/software/components/binaries/matitaprover/run_on_a_list.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.