]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests/TPTP
First tests for paramodulation (pretty printer, unification)
[helm.git] / helm / software / matita / tests / TPTP /
2008-09-19 Enrico Tassifixed
2008-09-18 Enrico Tassifixed script
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-07-25 Enrico Tassiused ;try assumption instead of .try assumption
2007-05-25 Enrico Tassiauto --> autobatch
2007-04-17 Enrico Tassi...
2006-10-03 Enrico Tassireduced timeout to 100s
2006-10-02 Enrico Tassi...
2006-10-02 Enrico Tassiadded tests for paramod
2006-09-29 Enrico Tassimaittaprover uses another format
2006-08-21 Enrico Tassi...
2006-08-21 Enrico Tassi...
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...
2006-07-24 Enrico Tassimore and more tests
2006-07-22 Enrico Tassimatitaprover
2006-07-17 Enrico Tassi...
2006-07-17 Enrico Tassievvai!
2006-07-17 Enrico Tassi...
2006-07-14 Andrea AspertiAdded the computation of max_weight.
2006-07-03 Enrico Tassi/....
2006-07-03 Enrico Tassi...
2006-06-30 Enrico Tassifix
2006-06-29 Enrico Tassi...
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassifixed gzip usage
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassinew mega spreadsheet available
2006-06-28 Enrico Tassifix
2006-06-28 Enrico Tassiadded gzip to log files
2006-06-19 Enrico Tassi...
2006-06-18 Enrico Tassifix
2006-06-16 Enrico Tassifixed
2006-06-16 Enrico Tassifixes
2006-06-16 Enrico Tassiecco le gatte da pelare
2006-06-16 Enrico Tassiadded log.120.orsay.txt and comparison
2006-05-30 Enrico Tassifixed proof generation again
2006-05-30 Enrico Tassi...
2006-05-30 Enrico Tassiadded our poor results to CASC 2005
2006-05-29 Enrico Tassiadded some logs
2006-05-29 Enrico Tassifix
2006-05-29 Enrico Tassicommitted the base utils for TPTP processing