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

]> matita.cs.unibo.it Git - fireball-separation.git/commit

projects / fireball-separation.git / commit

author	acondolu <andrea.condoluci@unibo.it>
	Fri, 14 Jul 2017 16:02:19 +0000 (18:02 +0200)
committer	acondolu <andrea.condoluci@unibo.it>
	Mon, 28 May 2018 09:08:56 +0000 (11:08 +0200)
commit	1b3b3eb5c68d4b1ca28ef911b81e6757db080187
tree	cf76643fb80af4450d2d0aa917e8bbe26dad7855	tree \| snapshot
parent	5991691df6dc3d096a08397712040c93d7f873b5	commit \| diff

First draft of Parser.problem_of_string

- problem_of_string should unify old Lambda4.problem_of and Parser.parse'
- Lambda4.problem_of was temporarily factored in problem_of_2
and problem_of_String_tmp

(cherry picked from commit 8b69a4c59242b64294c7065a4e85437ce3cbc32d)

ocaml/lambda4.ml		diff \| blob \| history
ocaml/lambda4.mli		diff \| blob \| history
ocaml/parser.ml		diff \| blob \| history
ocaml/parser.mli		diff \| blob \| history

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

RSS Atom