]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mlminidom
- removed debug_print, now in Http_getter_debugger
[helm.git] / helm / DEVEL / mlminidom /
2002-01-21 Stefano ZacchiroliBug fix: destdir for mlminidom installation is now...
2002-01-20 Stefano Zacchiroli- Vanity: added .... me to the copyright file as autho...
2002-01-20 Stefano Zacchiroli- Minor fix: includes upstream changelog only if it...
2002-01-20 Stefano ZacchiroliAdded "-destdir" argument to "ocamlfind install" in...
2002-01-20 Stefano ZacchiroliPorted to ocaml 3.04 (fixed problems with commuting...
2002-01-20 Stefano ZacchiroliUpgraded debian package for mlminidom 0.2.2
2001-11-25 Stefano ZacchiroliSynced debian dir.
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1
2001-11-16 Claudio Sacerdoti... ...
2001-11-14 Claudio Sacerdoti... Bug fixed
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^
2001-11-14 Claudio Sacerdoti... missing macro
2001-11-14 Claudio Sacerdoti... Small improvement.
2001-11-14 Claudio Sacerdoti... Simplification.
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-)
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added.
2001-11-13 Claudio Sacerdoti... Unused variable removed.
2001-11-13 Claudio Sacerdoti... mlminidom 0.0.2 for minidom 0.1.3
2001-10-17 Stefano ZacchiroliMakefile.in that support some new architectures.
2001-02-02 Luca Padovani*** empty log message ***
2001-01-25 Luca Padovaniconfiguration script improved
2001-01-22 Luca Padovanipatched configure.in for Debian (different location...
2001-01-17 Luca Padovanithe spec file is now autoconfigured
2001-01-17 Luca Padovanithe spec file is not autoconfigured
2001-01-10 Luca PadovaniInitial revision