]> matita.cs.unibo.it Git - helm.git/commit
- no longer build mathql per default
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:56:48 +0000 (14:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 14:56:48 +0000 (14:56 +0000)
commit31afc64440b7da53bb79e6f1524d47bf0fb56aaf
tree432aae224b1d3089198da69395f9c2aa6d79f5ab
parentf1a2aec37db8f0a4da540a027cf91554e27ba88c
- no longer build mathql per default
- moved cic_notation after cic_transformation
helm/ocaml/Makefile.in