]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
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) tree | commitdiff
2002-11-29 Stefano Zacchiroli- added versioned deps and build deps tree | commitdiff
2002-11-29 Stefano Zacchiroliremoved verbatim GPL license, replaced with a reference to tree | commitdiff
2002-11-26 Stefano Zacchiroli- added support for empty bindings like "a=" or simple... tree | commitdiff
2002-11-26 Stefano Zacchirolis/param_all/paramAll/g tree | commitdiff
2002-11-26 Stefano Zacchiroliparse DISTVERSION from debian/changelog tree | commitdiff
2002-11-25 Stefano Zacchiroli- added method 'param_all' to request objects tree | commitdiff
2002-11-22 Stefano Zacchirolicvsignore for html documentation dir tree | commitdiff
2002-11-22 Stefano Zacchiroli- added ocamldoc documentation in debian package tree | commitdiff
2002-11-22 Stefano Zacchiroli- fixed wrong @raise ocamldoc tags tree | commitdiff
2002-11-22 Stefano Zacchiroli- added targets relative to ocamldoc doc generation tree | commitdiff
2002-11-22 Stefano Zacchiroli- bumped version to 0.0.5 tree | commitdiff
2002-11-22 Stefano Zacchiroli- removed old entries from TODO tree | commitdiff
2002-11-22 Stefano Zacchiroli- added support for multithreaded daemons tree | commitdiff
2002-11-20 Stefano ZacchiroliTODO list tree | commitdiff
2002-11-20 Stefano Zacchirolibumped version to 0.0.4 tree | commitdiff
2002-11-20 Stefano Zacchiroli- bugfix: perform GET parameter parsing on HTTP encoded... tree | commitdiff
2002-11-17 Stefano Zacchirolibumped version to 0.0.3 tree | commitdiff
2002-11-17 Stefano Zacchirolirenamed tcp_server module in http_tcp_server to avoid... tree | commitdiff
2002-11-17 Stefano Zacchirolibug fix: reset timeout after processing request in... tree | commitdiff
2002-11-17 Stefano Zacchiroli*** empty log message *** tree | commitdiff
2002-11-17 Stefano ZacchiroliAdded debug flag and debug_print function tree | commitdiff
2002-11-17 Stefano Zacchiroli.cvsignore for examples dir tree | commitdiff
2002-11-17 Stefano Zacchiroli- split http_parser module (all code that parse http... tree | commitdiff
2002-11-15 Stefano Zacchirolioopss, I forgot to commit .depend last time ... tree | commitdiff
2002-11-14 Stefano Zacchiroliload http.cma instead of http.cmo tree | commitdiff
2002-11-14 Stefano Zacchirolino longer use -pack and Http.*, now interface is the... tree | commitdiff
2002-11-14 Stefano ZacchiroliNow use cm{,x}a tree | commitdiff
2002-11-14 Stefano ZacchiroliChanged source-package name to "ocaml-http" tree | commitdiff
2002-11-13 Stefano Zacchiroliadded ocaml-http 0.0.1 tree | commitdiff
2002-08-28 Stefano Zacchirolidebian release -3 tree | commitdiff
2002-08-28 Stefano Zacchirolidebian version "-8" tree | commitdiff
2002-08-28 Stefano Zacchiroliforward compatibility changes for ocaml 3.06 tree | commitdiff
2002-04-26 Claudio Sacerdoti... gdome_xslt ==> gdome2-xslt tree | commitdiff
2002-04-26 Claudio Sacerdoti... ... tree | commitdiff
2002-04-12 Stefano Zacchiroliadded debian stuff and a makefile with "dist" target tree | commitdiff
2002-04-12 Stefano Zacchirolichanged name to gdome2-xslt tree | commitdiff
2002-04-12 Stefano Zacchiroli- added -fPIC when creating .so tree | commitdiff
2002-04-12 Stefano Zacchirolichanged package name to gdome2-xslt tree | commitdiff
2002-04-12 Stefano Zacchirolicma names parameterized in configure @PACKAGE@ variable tree | commitdiff
2002-04-12 Stefano Zacchiroli-7 debian release, hopefully build also on HPPA tree | commitdiff
2002-04-12 Stefano Zacchiroliadded -fPIC option when compiling ml_gtk_mathview.o tree | commitdiff
2002-04-02 Stefano ZacchiroliAdded Build-Depends on t1lib-dev tree | commitdiff
2002-04-01 Stefano ZacchiroliAdded build-depend on libgdome2-cpp-smart-dev. tree | commitdiff
2002-03-31 Stefano Zacchiroli- added some .mli and .ml to the debian package tree | commitdiff
2002-03-29 Claudio Sacerdoti... gMathView.mli added tree | commitdiff
2002-03-26 Stefano Zacchiroli- Increased debian version to 0.3.0-3 tree | commitdiff
2002-03-26 Claudio Sacerdoti... The compilation of the test is restored. tree | commitdiff
2002-03-15 Stefano ZacchiroliAdded build dep on libgdome2-dev tree | commitdiff
2002-03-13 Stefano ZacchiroliDebian changes for version 0.3.0 of lablgtkmathview. tree | commitdiff
2002-03-12 Claudio Sacerdoti... Initial version. tree | commitdiff
2002-03-12 Claudio Sacerdoti... * Linking was still static for native compilation. tree | commitdiff
2002-03-08 Claudio Sacerdoti... loadDocumentFrom* and saveDocument interface changed tree | commitdiff
2002-03-06 Claudio Sacerdoti... -rpath used to record the path to use to search for... tree | commitdiff
2002-03-06 Claudio Sacerdoti... The .so file was not moved into the temporary installat... tree | commitdiff
2002-03-06 Claudio Sacerdoti... Dynamic loading of C code enabled. tree | commitdiff
2002-02-27 Claudio Sacerdoti... lablgnome.cm[x]a added to the META file. tree | commitdiff
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0. tree | commitdiff
2002-02-06 Claudio Sacerdoti... Until Garrigue puts a META file in lablgtk, we can... tree | commitdiff
2002-01-21 Stefano ZacchiroliBug fix: destdir for mlminidom installation is now... tree | commitdiff
2002-01-20 Stefano Zacchiroli- Vanity: added .... me to the copyright file as autho... tree | commitdiff
2002-01-20 Stefano Zacchiroli- Minor fix: includes upstream changelog only if it... tree | commitdiff
2002-01-20 Stefano ZacchiroliAdded "-destdir" argument to "ocamlfind install" in... tree | commitdiff
2002-01-20 Stefano ZacchiroliPorted to ocaml 3.04 (fixed problems with commuting... tree | commitdiff
2002-01-20 Stefano ZacchiroliUpgraded debian package for mlminidom 0.2.2 tree | commitdiff
2001-11-25 Stefano ZacchiroliSynced debian dir. tree | commitdiff
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1 tree | commitdiff
2001-11-16 Claudio Sacerdoti... Checks for mlminidom and lablgtk added. tree | commitdiff
2001-11-16 Claudio Sacerdoti... Some spourious files removed. tree | commitdiff
2001-11-16 Claudio Sacerdoti... ... tree | commitdiff
2001-11-16 Claudio Sacerdoti... .cvsignore improved tree | commitdiff
2001-11-15 Claudio Sacerdoti... Distribution improvements. tree | commitdiff
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in tree | commitdiff
2001-11-15 Claudio Sacerdoti... No more used. tree | commitdiff
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version. tree | commitdiff
2001-11-14 Claudio Sacerdoti... Bug fixed tree | commitdiff
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^ tree | commitdiff
2001-11-14 Claudio Sacerdoti... missing macro tree | commitdiff
2001-11-14 Claudio Sacerdoti... Small improvement. tree | commitdiff
2001-11-14 Claudio Sacerdoti... Simplification. tree | commitdiff
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-) tree | commitdiff
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added. tree | commitdiff
2001-11-13 Claudio Sacerdoti... Unused variable removed. tree | commitdiff
2001-11-13 Claudio Sacerdoti... mlminidom 0.0.2 for minidom 0.1.3 tree | commitdiff
2001-10-17 Stefano ZacchiroliMakefile.in that support some new architectures. tree | commitdiff
2001-04-03 Claudio Sacerdoti... Line morally belonging to lablgtk/*.h now is there... tree | commitdiff
2001-04-03 Claudio Sacerdoti... Updated to lablgtk 1.2 and ocaml-3.01. tree | commitdiff
2001-02-02 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-29 Luca Padovani*** empty log message *** tree | commitdiff
2001-01-29 Luca Padovanisome adjustments to include files tree | commitdiff
2001-01-29 Luca Padovanilast update was a fake update!!! tree | commitdiff
2001-01-25 Luca Padovaniconfiguration script improved tree | commitdiff
2001-01-25 Luca Padovaniupdated the binding so that it works well with lablgtk... tree | commitdiff
2001-01-22 Luca Padovanipatched configure.in for Debian (different location... tree | commitdiff
2001-01-17 Luca Padovanithe spec file is now autoconfigured tree | commitdiff
2001-01-17 Luca Padovanithe spec file is not autoconfigured tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
2001-01-10 Luca PadovaniInitial revision tree | commitdiff
2000-12-20 Luca Padovani*** empty log message *** tree | commitdiff
2000-12-20 Luca Padovanilablgtk-20001129_gtkmathview created tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.