]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 572c25c) | patch
Added problem wrongly backtracking
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 15:16:51 +0000 (17:16 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 15:16:51 +0000 (17:16 +0200)
commita34071ed728b8de44b198de4e73a52207557ed81
tree9ea73f1f9eaadc7cdd4d245c5a5769efe31c02b7tree | snapshot
parent572c25c8db51bd571c7f4810500074bac8c37c31commit | diff
Added problem wrongly backtracking
ocaml/problems/w diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.