]> matita.cs.unibo.it Git - helm.git/commit
support for printing the number of objects grouped by flavour
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 24 Mar 2016 12:23:19 +0000 (12:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 24 Mar 2016 12:23:19 +0000 (12:23 +0000)
commitc62bc0725203409f99fd10eaf0b670a406e311b3
tree4613cdc052b36afa130e66f3e1de8e0f009d944e
parent2b390e80869944f75672ea27d2ec83cdfc7ae6d0
support for printing the number of objects grouped by flavour
matita/components/binaries/probe/nCicScan.ml
matita/components/binaries/probe/options.ml
matita/components/binaries/probe/options.mli
matita/components/binaries/probe/probe.ml