]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
removed now useless (due to automake) Makefile
[helm.git] / helm / DEVEL /
2002-12-06 Stefano Zacchiroliremoved now useless (due to automake) Makefile
2002-12-05 Luca Padovani* ignore things
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-12-04 Luca Padovani* missed some files
2002-12-04 Luca Padovani* added C++ binding
2002-12-04 Stefano Zacchirolirecomputed
2002-12-04 Stefano Zacchiroli- bugfix: removed Http_types -> Http_types dep
2002-12-04 Stefano Zacchiroli- use Pcre to perform sanity checks
2002-12-04 Stefano Zacchiroli- first entry for 0.0.7
2002-12-04 Stefano Zacchiroli- added deb target
2002-12-03 Stefano Zacchiroli- added sanity checks entry
2002-12-03 Stefano Zacchiroli*** empty log message ***
2002-12-03 Stefano Zacchiroli- added two TODO comment
2002-12-03 Stefano Zacchiroli- moved exceptions here
2002-12-03 Stefano Zacchiroli- moved exceptions in http_types
2002-12-03 Stefano Zacchiroli- moved exceptions in http_types
2002-12-03 Stefano Zacchiroli- implemented heal_header that sanity checks an header
2002-12-03 Stefano Zacchiroli- added sanity test on headers while using send_header{,s}
2002-12-03 Stefano Zacchiroli- added string_{em,im}plode
2002-12-03 Stefano Zacchiroli- moved exceptions in http_types
2002-12-03 Stefano Zacchiroliadded cvsignores
2002-12-03 Stefano Zacchiroliadded Http_constants module
2002-12-02 Stefano Zacchirolibugfix: install also _mt objects
2002-12-01 Stefano Zacchiroli- added damned_recursion example
2002-12-01 Stefano Zacchiroli- removed some ':'s
2002-12-01 Stefano Zacchiroli- added mt and non_mt dirs to dist stuff
2002-12-01 Stefano Zacchiroli- split threaded and non threaded implementations
2002-12-01 Stefano Zacchiroli- split threaded and non threaded implementations
2002-11-29 Stefano Zacchiroliadded 0.0.2 entry
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-11-29 Stefano Zacchiroli- use saveResultTo* functions instead of gdome serializ...
2002-11-29 Stefano Zacchiroli- added saveResultTo{Filename,File,Fd}
2002-11-29 Stefano Zacchiroliadded -Wall flag to gcc invocation
2002-11-29 Stefano Zacchirolibumped version 0.0.2
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...
next