]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/lablgtkmathview/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in
2005-07-31 Stefano Zacchirolipackaging cleanup: get rid of ancient debhelpers, use...
2005-06-15 Stefano Zacchirolienable static linking of C stub code
2003-10-07 Luca Padovani* lablgtk -> lablgtk2
2003-10-06 Luca Padovani* minor fix
2003-10-06 Luca Padovani* removed spec file
2003-10-06 Luca Padovani* upgrade to lablgtk2
2003-07-01 Claudio Sacerdoti... gtkmathview-config and gdome-config no longer used
2003-06-19 Stefano Zacchirolifixed autoconf variable @@ vs $()
2003-06-19 Luca Padovani* removed *-config script invocations, now using pkg...
2003-01-27 Luca Padovani* binding update to recognize the new event scheme...
2003-01-24 Stefano Zacchiroli- create also libxxx.so symlink in ocaml stublibs directory
2003-01-23 Luca Padovani* restored binding with gtkmathview 0.4.0
2003-01-21 Stefano Zacchirolibinding to gtkmathview 0.3.1
2003-01-07 Stefano Zacchirolidebian release 0.3.0-10
2002-04-12 Stefano Zacchiroliadded -fPIC option when compiling ml_gtk_mathview.o
2002-03-31 Stefano Zacchiroli- added some .mli and .ml to the debian package
2002-03-29 Claudio Sacerdoti... gMathView.mli added
2002-03-26 Claudio Sacerdoti... The compilation of the test is restored.
2002-03-13 Stefano ZacchiroliDebian changes for version 0.3.0 of lablgtkmathview.
2002-03-12 Claudio Sacerdoti... * Linking was still static for native compilation.
2002-03-06 Claudio Sacerdoti... -rpath used to record the path to use to search for...
2002-03-06 Claudio Sacerdoti... The .so file was not moved into the temporary installat...
2002-03-06 Claudio Sacerdoti... Dynamic loading of C code enabled.
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0.
2001-11-16 Claudio Sacerdoti... Some spourious files removed.
2001-11-15 Claudio Sacerdoti... Distribution improvements.
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version.
2001-02-02 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovanilast update was a fake update!!!
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk...
2001-01-10 Luca PadovaniInitial revision