]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a12f668) | patch
Tentative commit: tactics dropped and clean-up
authoracondolu <andrea.condoluci@unibo.it>
Thu, 13 Jul 2017 15:38:23 +0000 (17:38 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:08:52 +0000 (11:08 +0200)
commit978648853f982a5e5755f084fb22342fdbb3534e
treed62663e9c1c7caf5e02a06a9e0855967e1686179tree | snapshot
parenta12f6686a9409425a11434dc2ff2ec79eda0ad15commit | diff
Tentative commit: tactics dropped and clean-up

(cherry picked from commit 0991fc5486c3158fc361e84cbba5aefa67893ba4)

Include codice di pure.ml che implementa Pure.B da commit
 "Removed bomb variable"
ocaml/lambda4.ml diff | blob | history
ocaml/lambda4.mli diff | blob | history
ocaml/problems.ml diff | blob | history
ocaml/pure.ml diff | blob | history
ocaml/pure.mli diff | blob | history
ocaml/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.