]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
The order IS significative. Changing the order (in one of the last commits)
[helm.git] / helm / DEVEL /
2002-11-29 Stefano Zacchiroliadded LICENSE files (LICENSE-INRIA if for ocaml-io.h)
2002-11-29 Stefano Zacchiroli- added versioned deps and build deps
2002-11-29 Stefano Zacchiroliremoved verbatim GPL license, replaced with a reference to
2002-11-26 Stefano Zacchiroli- added support for empty bindings like "a=" or simple...
2002-11-26 Stefano Zacchirolis/param_all/paramAll/g
2002-11-26 Stefano Zacchiroliparse DISTVERSION from debian/changelog
2002-11-25 Stefano Zacchiroli- added method 'param_all' to request objects
2002-11-22 Stefano Zacchirolicvsignore for html documentation dir
2002-11-22 Stefano Zacchiroli- added ocamldoc documentation in debian package
2002-11-22 Stefano Zacchiroli- fixed wrong @raise ocamldoc tags
2002-11-22 Stefano Zacchiroli- added targets relative to ocamldoc doc generation
2002-11-22 Stefano Zacchiroli- bumped version to 0.0.5
2002-11-22 Stefano Zacchiroli- removed old entries from TODO
2002-11-22 Stefano Zacchiroli- added support for multithreaded daemons
2002-11-20 Stefano ZacchiroliTODO list
2002-11-20 Stefano Zacchirolibumped version to 0.0.4
2002-11-20 Stefano Zacchiroli- bugfix: perform GET parameter parsing on HTTP encoded...
2002-11-17 Stefano Zacchirolibumped version to 0.0.3
2002-11-17 Stefano Zacchirolirenamed tcp_server module in http_tcp_server to avoid...
2002-11-17 Stefano Zacchirolibug fix: reset timeout after processing request in...
2002-11-17 Stefano Zacchiroli*** empty log message ***
2002-11-17 Stefano ZacchiroliAdded debug flag and debug_print function
2002-11-17 Stefano Zacchiroli.cvsignore for examples dir
2002-11-17 Stefano Zacchiroli- split http_parser module (all code that parse http...
2002-11-15 Stefano Zacchirolioopss, I forgot to commit .depend last time ...
2002-11-14 Stefano Zacchiroliload http.cma instead of http.cmo
2002-11-14 Stefano Zacchirolino longer use -pack and Http.*, now interface is the...
2002-11-14 Stefano ZacchiroliNow use cm{,x}a
2002-11-14 Stefano ZacchiroliChanged source-package name to "ocaml-http"
2002-11-13 Stefano Zacchiroliadded ocaml-http 0.0.1
2002-08-28 Stefano Zacchirolidebian release -3
2002-08-28 Stefano Zacchirolidebian version "-8"
2002-08-28 Stefano Zacchiroliforward compatibility changes for ocaml 3.06
2002-04-26 Claudio Sacerdoti... gdome_xslt ==> gdome2-xslt
2002-04-26 Claudio Sacerdoti... ...
2002-04-12 Stefano Zacchiroliadded debian stuff and a makefile with "dist" target
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-04-12 Stefano Zacchiroli-7 debian release, hopefully build also on HPPA
2002-04-12 Stefano Zacchiroliadded -fPIC option when compiling ml_gtk_mathview.o
2002-04-02 Stefano ZacchiroliAdded Build-Depends on t1lib-dev
2002-04-01 Stefano ZacchiroliAdded build-depend on libgdome2-cpp-smart-dev.
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 Stefano Zacchiroli- Increased debian version to 0.3.0-3
2002-03-26 Claudio Sacerdoti... The compilation of the test is restored.
2002-03-15 Stefano ZacchiroliAdded build dep on libgdome2-dev
2002-03-13 Stefano ZacchiroliDebian changes for version 0.3.0 of lablgtkmathview.
2002-03-12 Claudio Sacerdoti... Initial version.
2002-03-12 Claudio Sacerdoti... * Linking was still static for native compilation.
2002-03-08 Claudio Sacerdoti... loadDocumentFrom* and saveDocument interface changed
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-27 Claudio Sacerdoti... lablgnome.cm[x]a added to the META file.
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0.
2002-02-06 Claudio Sacerdoti... Until Garrigue puts a META file in lablgtk, we can...
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... Checks for mlminidom and lablgtk added.
2001-11-16 Claudio Sacerdoti... Some spourious files removed.
2001-11-16 Claudio Sacerdoti... ...
2001-11-16 Claudio Sacerdoti... .cvsignore improved
2001-11-15 Claudio Sacerdoti... Distribution improvements.
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in
2001-11-15 Claudio Sacerdoti... No more used.
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version.
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-04-03 Claudio Sacerdoti... Line morally belonging to lablgtk/*.h now is there...
2001-04-03 Claudio Sacerdoti... Updated to lablgtk 1.2 and ocaml-3.01.
2001-02-02 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovani*** empty log message ***
2001-01-29 Luca Padovanisome adjustments to include files
2001-01-29 Luca Padovanilast update was a fake update!!!
2001-01-25 Luca Padovaniconfiguration script improved
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk...
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
2001-01-10 Luca PadovaniInitial revision
2000-12-20 Luca Padovani*** empty log message ***
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created
next