]>
2005-10-25 | Claudio Sacerdoti... | Every exception that used to have type string is now... | blob | commitdiff | raw |
2005-10-11 | Stefano Zacchiroli | added goals_of_proof | blob | commitdiff | raw | diff to current |
2005-09-08 | Stefano Zacchiroli | implemented lazy disambiguation of tactics arguments... | blob | commitdiff | raw | diff to current |
2005-06-29 | Claudio Sacerdoti... | 1. new syntax for patterns: | blob | commitdiff | raw | diff to current |
2005-06-17 | Enrico Tassi | added support for goal patterns | blob | commitdiff | raw | diff to current |
2004-09-20 | Stefano Zacchiroli | added initial_status | blob | commitdiff | raw | diff to current |
2004-06-01 | Enrico Tassi | new universes implementation | blob | commitdiff | raw | diff to current |