]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 628055c) | patch
added generic marshaller
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Dec 2005 15:45:17 +0000 (15:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Dec 2005 15:45:17 +0000 (15:45 +0000)
commit975e536db4920307acb78de083621491f0566de1
tree1ab6760897e288b23a4fad2d42a8eceab1827db8tree | snapshot
parent628055cb13bfcc032b33b5aa78dc3c33e99a4f86commit | diff
added generic marshaller
helm/ocaml/extlib/.depend diff | blob | history
helm/ocaml/extlib/Makefile diff | blob | history
helm/ocaml/extlib/hMarshal.ml [new file with mode: 0644] blob
helm/ocaml/extlib/hMarshal.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.