]>
2005-05-03 | Enrico Tassi | added instance | blob | commitdiff | raw |
2005-05-02 | Enrico Tassi | added Match (partially) and sync with the count table | blob | commitdiff | raw | diff to current |
2005-04-28 | Enrico Tassi | attached macros: hint(partial), check | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | blob | commitdiff | raw |
2005-02-10 | Stefano Zacchiroli | bugfix: method 'advance' now took in input concrete... | blob | commitdiff | raw | diff to current |
2005-02-09 | Stefano Zacchiroli | added script support a la coqide | blob | commitdiff | raw | diff to current |