]> matita.cs.unibo.it Git - helm.git/commit
fixed copyright notice and helm web page url
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:11:05 +0000 (09:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:11:05 +0000 (09:11 +0000)
commit14cfb2ab91c57fb73e7b86904ef9b0ad1deb44a9
tree8cd827d269c538aa49974f124786a09553484c2e
parente626ecd39f74b7a9846b9eed28aeb44f061b61b1
fixed copyright notice and helm web page url
helm/hbugs/test/test_serialization.ml