]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 415e18c) | patch
Fixed if-then-else
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 15:40:00 +0000 (17:40 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 08:17:42 +0000 (10:17 +0200)
commit3b65954878fa6afdbcbc7e120bc0588f0e10581a
tree9dca0f058ed7c5071cccc569395878d80420a66etree | snapshot
parent415e18c6bfb1bbd125123ff9eb22b2caa7c42187commit | diff
Fixed if-then-else

(cherry picked from commit 588a00cd5ae861a2f366df992f758f285265a34a)
ocaml/run diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.