]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b532f22) | patch
Fix: bug in printing garbage, did not consider the level
authoracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 11:22:20 +0000 (13:22 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 11:22:20 +0000 (13:22 +0200)
commitca6770197ebeacb27bda594a9b3d8667d8363c74
treec533283e4fabb3879fb62ac236102e169e50cdabtree | snapshot
parentb532f22eeae82f364dbc533926ea657df765d1e8commit | diff
Fix: bug in printing garbage, did not consider the level
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.