]>
2005-07-18 | Alberto Griggio | adding library support (not ready yet) | blob | commitdiff | raw |
2005-07-11 | Alberto Griggio | now proofs have the correct type :-) | blob | commitdiff | raw | diff to current |
2005-06-29 | Alberto Griggio | various updates, removed proofs for now because they... | blob | commitdiff | raw | diff to current |
2005-06-22 | Alberto Griggio | use of discrimination trees instead of path indexes... | blob | commitdiff | raw | diff to current |
2005-06-20 | Alberto Griggio | testing... | blob | commitdiff | raw | diff to current |