]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests
...
[helm.git] / helm / software / matita / tests /
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-06-15 Andrea Aspertisome examples of the new ApplyS tactic
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
2006-05-26 Claudio Sacerdoti... Recently introduced bug in CicRefine.eat_prods fixed...
2006-04-05 Enrico Tassicreate directory paramodulation for tests for paramodul...
2006-04-05 Enrico Tassiadded another interesting problem for paramodulation
2006-03-28 Enrico Tassimore profiling and fixes for paramod
2006-03-21 Enrico Tassidone
2006-03-20 Andrea AspertiRenamed SK.ma into bool.ma
2006-03-20 Andrea AspertiEsempi di auto.
2006-03-17 Enrico Tassitests are now handled with a standard Makefile that...
2006-02-06 Andrea Aspertitermine bacato.
2006-02-06 Andrea AspertiBug?
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/