projects / fireball-separation.git / history
| 2017-07-25 | acondolu | Merge branch 'permutations' into andrea | blob | commitdiff | raw |
| 2017-07-15 | acondolu | Important: added special variable "Z" for zero. | blob | commitdiff | raw |
| 2017-07-14 | acondolu | Added label to problem | blob | commitdiff | raw | diff to current |
| 2017-07-14 | acondolu | problems now contain a label and the names of the origi... | blob | commitdiff | raw | diff to current |
| 2017-07-14 | acondolu | First draft of Parser.problem_of_string | blob | commitdiff | raw | diff to current |
| 2017-07-14 | acondolu | Changed logic of entrypoint in Lambda4 | blob | commitdiff | raw | diff to current |
| 2017-07-13 | acondolu | Tentative commit: tactics dropped and clean-up | blob | commitdiff | raw | diff to current |
| 2017-07-12 | acondolu | andrea7 -> new andrea9 | blob | commitdiff | raw |
| 2017-06-26 | <andrea.condoluci... | Removed traces of lambda3 | blob | commitdiff | raw | diff to current |
| 2017-06-12 | <andrea.condoluci... | Copy ocaml folder from sacerdot's svn repository, rev... | blob | commitdiff | raw | diff to current |