matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests/TPTP/try.sh

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests/TPTP/try.sh

2006-07-22	Enrico Tassi	matitaprover	blob \| commitdiff \| raw
2006-07-14	Andrea Asperti	Added the computation of max_weight.	blob \| commitdiff \| raw \| diff to current
2006-07-03	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	fixed gzip usage	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-06-28	Enrico Tassi	added gzip to log files	blob \| commitdiff \| raw \| diff to current
2006-06-16	Enrico Tassi	added log.120.orsay.txt and comparison	blob \| commitdiff \| raw \| diff to current
2006-05-29	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-05-29	Enrico Tassi	committed the base utils for TPTP processing	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.