projects / helm.git / history
| 2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | tree | commitdiff |
| 2009-05-06 | Enrico Tassi | apply and auto.equational_case call saturation.solve_na... | tree | commitdiff |
| 2009-04-30 | Enrico Tassi | run check_if_goal_is_solved on all goals (active+passive) | tree | commitdiff |
| 2009-04-30 | Andrea Asperti | Minor changes pro-automation | tree | commitdiff |
| 2009-04-29 | Enrico Tassi | ... | tree | commitdiff |
| 2009-04-28 | Enrico Tassi | huge commit in automation: | tree | commitdiff |
| 2009-02-13 | Wilmer Ricciotti | Axiomatization of real numbers (work in progress) | tree | commitdiff |