]>
2005-05-31 | Enrico Tassi | added automathic aliases for qed and definition | blob | commitdiff | raw |
2005-05-30 | Andrea Asperti | added intros n. | blob | commitdiff | raw | diff to current |
2005-05-30 | Andrea Asperti | added automathic aliases. | blob | commitdiff | raw | diff to current |
2005-05-27 | Enrico Tassi | fixed matitac | blob | commitdiff | raw | diff to current |
2005-05-24 | Enrico Tassi | added simpl | blob | commitdiff | raw | diff to current |
2005-05-24 | Andrea Asperti | fix | blob | commitdiff | raw | diff to current |
2005-05-24 | Andrea Asperti | elim -> elim_intros (no simpl) | blob | commitdiff | raw | diff to current |
2005-05-16 | Enrico Tassi | added comments, fixed history, added loadList to browser | blob | commitdiff | raw | diff to current |
2005-05-02 | Enrico Tassi | attached auto | 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 |