projects / helm.git / history
| 2005-05-25 | Stefano Zacchiroli | let rec example | tree | commitdiff |
| 2005-05-25 | Enrico Tassi | fix | tree | commitdiff |
| 2005-05-24 | Enrico Tassi | added simpl test script | tree | commitdiff |
| 2005-05-23 | Enrico Tassi | added qed | tree | commitdiff |
| 2005-05-23 | Andrea Asperti | Added andrea.ma | tree | commitdiff |
| 2005-05-18 | Enrico Tassi | fixed some macros, added test_abort.ma | tree | commitdiff |
| 2005-05-16 | Enrico Tassi | added examples | tree | commitdiff |
| 2005-05-16 | Enrico Tassi | added comments, fixed history, added loadList to browser | tree | commitdiff |
| 2005-05-05 | Andrea Asperti | test_instance.ma | tree | commitdiff |
| 2005-05-03 | Enrico Tassi | added examples | tree | commitdiff |
| 2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | tree | commitdiff |
| 2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | tree | commitdiff |
| 2005-02-01 | Enrico Tassi | fixed coercions | tree | commitdiff |