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

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

projects / fireball-separation.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[fireball-separation.git] / ocaml / parser.ml

2017-07-24	acondolu	Allow comments (#) at the end of terms	blob \| commitdiff \| raw
2017-07-24	acondolu	Better error messages in parser	blob \| commitdiff \| raw \| diff to current
2017-07-24	acondolu	Fixed computation of arity for top-level inerts	blob \| commitdiff \| raw \| diff to current
2017-07-18	Claudio Sacerdoti...	Hack to reserve var 0 to purify it to BOM removed	blob \| commitdiff \| raw \| diff to current
2017-07-18	Claudio Sacerdoti...	String ==> Bytes to make recent ocaml compilers happy	blob \| commitdiff \| raw \| diff to current
2017-07-15	acondolu	Improved parsing	blob \| commitdiff \| raw \| diff to current
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.