]>
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 |