]> matita.cs.unibo.it Git - helm.git/commit
Added TreeLimitRun
authordenes <??>
Wed, 29 Jul 2009 16:40:00 +0000 (16:40 +0000)
committerdenes <??>
Wed, 29 Jul 2009 16:40:00 +0000 (16:40 +0000)
commit4e51145c79bf8c5c8d42442f74b2c63ff68141ed
tree3aaebf294d43afbb0d76593e624ce9086167f612
parent156e5aad803c661dc2967b8f33642e89e8e878a1
Added TreeLimitRun
helm/software/components/binaries/matitaprover/TreeLimitedRun.c [new file with mode: 0644]
helm/software/components/binaries/matitaprover/run_on_a_list.sh