]>
2006-06-28 | Enrico Tassi | fixed gzip usage | tree | commitdiff |
2006-06-28 | Enrico Tassi | fix | tree | commitdiff |
2006-06-28 | Enrico Tassi | new mega spreadsheet available | tree | commitdiff |
2006-06-28 | Enrico Tassi | fix | tree | commitdiff |
2006-06-28 | Enrico Tassi | added gzip to log files | tree | commitdiff |
2006-06-19 | Enrico Tassi | ... | tree | commitdiff |
2006-06-18 | Enrico Tassi | fix | tree | commitdiff |
2006-06-16 | Enrico Tassi | fixed | tree | commitdiff |
2006-06-16 | Enrico Tassi | fixes | tree | commitdiff |
2006-06-16 | Enrico Tassi | ecco le gatte da pelare | tree | commitdiff |
2006-06-16 | Enrico Tassi | added log.120.orsay.txt and comparison | tree | commitdiff |
2006-05-30 | Enrico Tassi | fixed proof generation again | tree | commitdiff |
2006-05-30 | Enrico Tassi | ... | tree | commitdiff |
2006-05-30 | Enrico Tassi | added our poor results to CASC 2005 | tree | commitdiff |
2006-05-29 | Enrico Tassi | added some logs | tree | commitdiff |
2006-05-29 | Enrico Tassi | fix | tree | commitdiff |
2006-05-29 | Enrico Tassi | committed the base utils for TPTP processing | tree | commitdiff |