]> matita.cs.unibo.it Git - helm.git/commit
New option "demod" for auto.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:19:53 +0000 (11:19 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:19:53 +0000 (11:19 +0000)
commit50d12d683b3f1fb9739b1308ca7f328e3e382f1b
treed124415494a2348cfd7ceeb562c2cce51a9e8404
parent9b27b913b9084226d0af5306562d0a1c5ccdaaf7
New option "demod" for auto.
helm/software/components/grafite_parser/grafiteParser.ml