]> matita.cs.unibo.it Git - helm.git/commit
- removed useless thread stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:12:35 +0000 (15:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Jan 2003 15:12:35 +0000 (15:12 +0000)
commiteb1a25213bb17cf009aebd75b5222ba20a01ea9b
treed259fa414301125b2f628f341cb0af649edaacd2
parent2b70b65cdfd44328898c16f350d351e586020b02
- removed useless thread stuff
- fixed copyright notice
helm/uwobo/src/ocaml/uwobo_styles.ml
helm/uwobo/src/ocaml/uwobo_styles.mli