]> matita.cs.unibo.it Git - helm.git/commit
- create also libxxx.so symlink in ocaml stublibs directory
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Jan 2003 12:49:48 +0000 (12:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Jan 2003 12:49:48 +0000 (12:49 +0000)
commitb34ed0280866aa71c584174d7de6df1f9483eebb
tree81dfd82bf6965cb29edcdc370e4f7e548294c49e
parent671388e2f3636ffbaaeaa9d4e690605db92febbb
- create also libxxx.so symlink in ocaml stublibs directory
- installs also new GMathViewAux stuff
helm/DEVEL/lablgtkmathview/Makefile.in