]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f187384) | patch
Make the code OCaml-4.06.1-friendly
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2018 21:45:14 +0000 (23:45 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2018 21:51:57 +0000 (23:51 +0200)
commit5664c5924f59c805c6e658698cc2fa535cab27f6
tree6c23d2956b4d5b394bea7794556f33aaeea8783ctree | snapshot
parentf1873841a3271d332cb8429b46e7bc7e0bca2402commit | diff
Make the code OCaml-4.06.1-friendly
ocaml/Makefile diff | blob | history
ocaml/console.ml diff | blob | history
ocaml/lambda4.ml diff | blob | history
ocaml/num.ml diff | blob | history
ocaml/parser.ml diff | blob | history
ocaml/pure.ml diff | blob | history
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.