]> matita.cs.unibo.it Git - fireball-separation.git/commit
Renamed in critical_showstoppers: showstoppers -> inedible (I don't know why)
authoracondolu <andrea.condoluci@unibo.it>
Sat, 22 Jul 2017 19:58:31 +0000 (21:58 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:11:37 +0000 (11:11 +0200)
commitd871825791c63609799bbbef2a60a38ece3bcabf
tree49f5b667b2aaaed0beaa8f3438b8372a37784dc9
parent4674dd787b5141c8aa22339d497ba671f4435da5
Renamed in critical_showstoppers: showstoppers -> inedible (I don't know why)

(cherry picked from commit dc829653c03f7bf0977addabe480e7c8b178bad1)
ocaml/lambda4.ml