]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d56686) | patch
Fixed typo in problem
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 18:25:07 +0000 (20:25 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 18:25:07 +0000 (20:25 +0200)
commitd0d409e139db96fc72f7d1e31a2526776c56f691
treef193db802740e086519476109361485fb32e7db5tree | snapshot
parent2d56686ea25883e77d0a69f1245e6e840fc8be5fcommit | diff
Fixed typo in problem
ocaml/problems/o diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.