]>
2005-06-29 | Claudio Sacerdoti... | 1. new syntax for patterns: | blob | commitdiff | raw |
2005-06-27 | Enrico Tassi | 1) moved select and pattern_of from cicUtil to proofEng... | blob | commitdiff | raw | diff to current |
2005-06-17 | Enrico Tassi | added support for goal patterns | blob | commitdiff | raw | diff to current |
2004-06-18 | Claudio Sacerdoti... | Added new function compare_metasenvs. | blob | commitdiff | raw | diff to current |
2004-02-05 | Claudio Sacerdoti... | mk_fresh_name moved to FreshNamesGenerator. | blob | commitdiff | raw | diff to current |
2004-01-22 | Stefano Zacchiroli | moved hard coded uris to HelmLibraryObjects | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |