projects / fireball-separation.git / history
| 2017-07-14 | acondolu | Fixed problems separator in parser: now it is $ | blob | commitdiff | raw |
| 2017-07-14 | acondolu | Parser.from_file, and p* problems moved to problems/p | 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 | Moved parse' from Num to Parser | blob | commitdiff | raw | diff to current |
| 2017-07-14 | acondolu | Re-use Util.index_of | blob | commitdiff | raw | diff to current |
| 2017-07-12 | acondolu | Disabled some chars as variable names in the parser | 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 |