]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/gdome_xslt/ocaml
use ledit for debugging
[helm.git] / helm / DEVEL / gdome_xslt / ocaml /
2003-10-21 Stefano Zacchiroli- debian release 0.0.6-3
2003-10-04 Luca Padovani* changed version in configure.ac
2003-10-03 Luca Padovani* further code cleanup
2003-10-03 Luca Padovani* updated #include directives
2003-07-15 Stefano Zacchiroliwrapped libxslt stylesheet application inside an ocaml...
2003-03-13 Stefano Zacchiroliadded support for setting debug and error callbacks
2003-03-13 Stefano Zacchirolibugfix: installs also i_gdome_xslt.ml, gdome_xslt_init...
2003-03-13 Stefano Zacchiroliinstalls also i_gomde_xslt.mli
2003-03-13 Stefano Zacchirolidebian release 0.0.4-2:
2003-03-11 Stefano Zacchiroliuse autotools also for ocaml part (again?)
2002-12-24 Stefano Zacchirolibetter use of variables to install/uninstall stuff
2002-12-09 Stefano Zacchiroliignore Makefile and Makefile.in
2002-12-09 Stefano Zacchirolifilled SUBDIR var
2002-12-09 Stefano Zacchiroliadded Makefile.in and .deps
2002-12-09 Stefano Zacchirolirebuilt
2002-12-09 Stefano Zacchirolichanged archives to mlgdome2-xslt
2002-12-09 Stefano Zacchiroliswitched to automake based build process
2002-12-09 Stefano Zacchiroli- switched to automake based built
2002-12-09 Stefano Zacchiroliremoved hand-made Makefile
2002-12-05 Luca Padovani* empty automake Makefile for ocaml stuff
2002-12-05 Luca Padovani* required for compilation of test
2002-12-05 Luca Padovani* patches for ocaml compilation
2002-11-29 Stefano Zacchiroliuse saveResultToChannel instead of gdome serialization...
2002-11-29 Stefano Zacchiroliimplemented saveResultToChannel
2002-11-29 Stefano Zacchirolibumped micro version to 2
2002-11-29 Stefano Zacchiroli- slices of io.h from ocaml source tree to retrieve...
2002-08-28 Stefano Zacchirolidebian release -3
2002-04-26 Claudio Sacerdoti... gdome_xslt ==> gdome2-xslt
2002-04-12 Stefano Zacchirolichanged name to gdome2-xslt
2002-04-12 Stefano Zacchiroli- added -fPIC when creating .so
2002-04-12 Stefano Zacchirolichanged package name to gdome2-xslt
2002-04-12 Stefano Zacchirolicma names parameterized in configure @PACKAGE@ variable
2002-03-12 Claudio Sacerdoti... Initial version.