]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 288c139) | patch
Last known bug unrelated to names fixed: a fixpoint that creates a type used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Feb 2013 17:27:38 +0000 (17:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Feb 2013 17:27:38 +0000 (17:27 +0000)
commit18c1584b94ad85301a95b69fe0a8fa8e02b61648
treef0f81bccd62bdeebc71c9949e1f4c9f718bc195etree | snapshot
parent288c13921e7a8b7df6f66b3f3e67145d13464e67commit | diff
Last known bug unrelated to names fixed: a fixpoint that creates a type used
to be extracted in the wrong way.
matita/components/ng_extraction/extraction.ml diff | blob | history
matita/components/ng_extraction/extraction.mli diff | blob | history
matita/components/ng_extraction/ocamlExtraction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.