matita.cs.unibo.it Git - fireball-separation.git/history

]> matita.cs.unibo.it Git - fireball-separation.git/history - ocaml/parser.ml

2018-05-28	acondolu	Fixes to parser	blob \| commitdiff \| raw
2018-05-28	acondolu	Fixed "$" in parser	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Fixed problems separator in parser: now it is $	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Parser.from_file, and p* problems moved to problems/p	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	problems now contain a label and the names of the origi...	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	First draft of Parser.problem_of_string	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Moved parse' from Num to Parser	blob \| commitdiff \| raw \| diff to current
2018-05-28	acondolu	Re-use Util.index_of	blob \| commitdiff \| raw \| diff to current
2018-05-25	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

Unnamed repository; edit this file 'description' to name the repository.