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

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

2017-07-15	acondolu	Improved parsing	blob \| commitdiff \| raw
2017-07-15	acondolu	Important: added special variable "Z" for zero.	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Moved all problems in problems folder. Last ones in "w"	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Fixes to parser	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Fixed "$" in parser	blob \| commitdiff \| raw \| diff to current
2017-07-14	acondolu	Fixed problems separator in parser: now it is $	blob \| commitdiff \| raw \| diff to current
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

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