]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5806e0a) | patch
Hack for code extraction re-linked, but disactivated.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jan 2008 17:30:35 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Jan 2008 17:30:35 +0000 (17:30 +0000)
commit156e9d172f3fd2fd7f2d5f0f88c8662c2c0fd796
tree19358b25b0ac6870117fedb302a2be03b7e75957tree | snapshot
parent5806e0aa438ae85f09c93c93ba9f53d9663d7420commit | diff
Hack for code extraction re-linked, but disactivated.
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.