]>
2005-05-16 | Enrico Tassi | fixed instance | blob | commitdiff | raw |
2005-05-13 | Stefano Zacchiroli | added support for hits table | blob | commitdiff | raw | diff to current |
2005-05-02 | Enrico Tassi | removed no_inconcl_aux, no_concl_hyp, no_hyp and added... | blob | commitdiff | raw | diff to current |
2005-04-22 | Stefano Zacchiroli | added filtering criteria on differences between number... | blob | commitdiff | raw | diff to current |
2005-02-08 | Enrico Tassi | at_least now supports the ownerized tables | blob | commitdiff | raw | diff to current |
2005-02-04 | Enrico Tassi | locate now searched bot the standard library and the... | blob | commitdiff | raw | diff to current |
2005-02-04 | Stefano Zacchiroli | cosmetic changes | blob | commitdiff | raw | diff to current |
2005-02-03 | Enrico Tassi | owners table not needed | blob | commitdiff | raw | diff to current |
2005-02-03 | Enrico Tassi | added new ownerize function | blob | commitdiff | raw | diff to current |