]>
2005-06-17 | Enrico Tassi | added support for goal patterns | blob | commitdiff | raw |
2005-06-01 | Enrico Tassi | paths trough terms implemented with a nice hack :) | blob | commitdiff | raw | diff to current |
2005-05-24 | Enrico Tassi | reverted to == | blob | commitdiff | raw | diff to current |
2005-05-24 | Enrico Tassi | new simpl semantic (now = and not == since you can... | blob | commitdiff | raw | diff to current |
2004-06-01 | Enrico Tassi | new universes implementation | blob | commitdiff | raw | diff to current |
2004-04-20 | Stefano Zacchiroli | got rid of ~status label so that tactics can now be... | blob | commitdiff | raw | diff to current |
2004-01-27 | Stefano Zacchiroli | s/List.find.../CicUtil.lookup_meta/ | blob | commitdiff | raw | diff to current |
2003-09-05 | Claudio Sacerdoti... | Defs in context may now have an optional type (when... | 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 |