]> matita.cs.unibo.it Git - helm.git/commit
- added -thread switch
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 16:45:58 +0000 (16:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 16:45:58 +0000 (16:45 +0000)
commit4a671a60ba714f60b86d8ce02ff022899d6e52b7
treebb4fa1e8c734e13a681e29897bccf83ad0db889d
parentef5ed8ca675b0cbc6604ffbecd23cc3b28982863
- added -thread switch
- reordered modules
helm/ocaml/Makefile.common.in
helm/ocaml/Makefile.in