]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3999b32) | patch
this patch is a shit, the part that fixes the heuristic about Obj.magic should be...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Mar 2008 15:37:01 +0000 (15:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Mar 2008 15:37:01 +0000 (15:37 +0000)
commit0dfcbb8be78db7bee20f7ac8c909179ccffbaa6c
tree46a628f4a95415f6bbbaebb642912437cc6a4d68tree | snapshot
parent3999b3279443c7d106812d8930dfced8d8bc37dccommit | diff
this patch is a shit, the part that fixes the heuristic about Obj.magic should be really adopted, the rest is metaocaml specific
helm/software/components/cic_exportation/cicExportation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.