projects / helm.git / history
| 2008-06-03 | Enrico Tassi | proof refactored | tree | commitdiff |
| 2008-06-01 | Enrico Tassi | more work on supremum | tree | commitdiff |
| 2008-05-30 | Enrico Tassi | ... | tree | commitdiff |
| 2008-05-30 | Enrico Tassi | more work on dama | tree | commitdiff |
| 2008-05-29 | Enrico Tassi | ... | tree | commitdiff |
| 2008-05-29 | Enrico Tassi | first page of the new dama proof | tree | commitdiff |
| 2008-05-28 | Enrico Tassi | ... | tree | commitdiff |
| 2008-05-28 | Enrico Tassi | dama restarted | tree | commitdiff |
| 2008-05-28 | Enrico Tassi | cleanup | tree | commitdiff |
| 2008-05-28 | Enrico Tassi | the attempt of completing dama using duality frozen | tree | commitdiff |
| 2008-05-26 | Enrico Tassi | new, more rigid syntax, for auto_params affecting the... | tree | commitdiff |
| 2008-05-18 | Enrico Tassi | names fixed accoding to the new ones generated after... | tree | commitdiff |
| 2008-03-22 | Enrico Tassi | moved dama/ and dama_didactic/ in contribs/dama/ | tree | commitdiff |