]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46f57e5) | patch
Added problem failing because of order of step
authoracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 14:18:19 +0000 (16:18 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 15:22:35 +0000 (17:22 +0200)
commitf1756e30ed486f9a5069b3e34ed5d551f7a448d6
tree474ef681e99c0c5a83d6dd98199dbfeae2ae3bc1tree | snapshot
parent46f57e51b457e7f1c225eb0467c1b0b286d11af1commit | diff
Added problem failing because of order of step
ocaml/problems/bugs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.