| 2002-11-29 |
Stefano Zacchiroli | - added saveResultTo{Filename,File,Fd}
|
commit | commitdiff | tree |
| 2002-11-29 |
Stefano Zacchiroli | added -Wall flag to gcc invocation
|
commit | commitdiff | tree |
| 2002-11-29 |
Stefano Zacchiroli | bumped version 0.0.2
|
commit | commitdiff | tree |
| 2002-11-29 |
Stefano Zacchiroli | added LICENSE files (LICENSE-INRIA if for ocaml-io.h)
|
commit | commitdiff | tree |
| 2002-11-29 |
Stefano Zacchiroli | - added versioned deps and build deps
|
commit | commitdiff | tree |
| 2002-11-29 |
Stefano Zacchiroli | removed verbatim GPL license, replaced with a reference to
|
commit | commitdiff | tree |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 18:10:57 +0100
|
commit | commitdiff | tree |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 14:47:14 +0100
|
commit | commitdiff | tree |
| 2002-11-27 |
Stefano Zacchiroli | snapshot Wed, 27 Nov 2002 02:45:45 +0100
|
commit | commitdiff | tree |
| 2002-11-26 |
Stefano Zacchiroli | cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100
|
commit | commitdiff | tree |
| 2002-11-26 |
Stefano Zacchiroli | - added support for empty bindings like "a=" or simple...
|
commit | commitdiff | tree |
| 2002-11-26 |
Stefano Zacchiroli | s/param_all/paramAll/g
|
commit | commitdiff | tree |
| 2002-11-26 |
Stefano Zacchiroli | parse DISTVERSION from debian/changelog
|
commit | commitdiff | tree |
| 2002-11-26 |
Stefano Zacchiroli | uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...
|
commit | commitdiff | tree |
| 2002-11-25 |
Stefano Zacchiroli | - added method 'param_all' to request objects
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - added var SEARCH_ENGINE_PORT
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | cvsignore for html documentation dir
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - added ocamldoc documentation in debian package
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - fixed wrong @raise ocamldoc tags
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - added targets relative to ocamldoc doc generation
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - bumped version to 0.0.5
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - removed old entries from TODO
|
commit | commitdiff | tree |
| 2002-11-22 |
Stefano Zacchiroli | - added support for multithreaded daemons
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | TODO list
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | - changed invoked daemons for proof checker, draw graph...
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | added env var DRAW_GRAPH_DIR
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | - get working directory from env var DRAW_GRAPH_DIR
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | - http debugging value copied from daemon debugging...
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | bumped version to 0.0.4
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | - bugfix: perform GET parameter parsing on HTTP encoded...
|
commit | commitdiff | tree |
| 2002-11-20 |
Stefano Zacchiroli | - added a lot of debugging messages
|
commit | commitdiff | tree |
| 2002-11-19 |
Stefano Zacchiroli | added ocaml version of draw_graph and uri_set_queue
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | bumped version to 0.0.3
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | renamed tcp_server module in http_tcp_server to avoid...
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | bug fix: reset timeout after processing request in...
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | *** empty log message ***
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | Added debug flag and debug_print function
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | .cvsignore for examples dir
|
commit | commitdiff | tree |
| 2002-11-17 |
Stefano Zacchiroli | - split http_parser module (all code that parse http...
|
commit | commitdiff | tree |
| 2002-11-15 |
Stefano Zacchiroli | oopss, I forgot to commit .depend last time ...
|
commit | commitdiff | tree |
| 2002-11-15 |
Stefano Zacchiroli | backported new pxp module from branch V7_3_new_exportation
|
commit | commitdiff | tree |
| 2002-11-14 |
Stefano Zacchiroli | name fix due to changes in libhttp-ocaml (e.g. s/Http...
|
commit | commitdiff | tree |
| 2002-11-14 |
Stefano Zacchiroli | load http.cma instead of http.cmo
|
commit | commitdiff | tree |
| 2002-11-14 |
Stefano Zacchiroli | no longer use -pack and Http.*, now interface is the...
|
commit | commitdiff | tree |
| 2002-11-14 |
Stefano Zacchiroli | Now use cm{,x}a
|
commit | commitdiff | tree |
| 2002-11-14 |
Stefano Zacchiroli | Changed source-package name to "ocaml-http"
|
commit | commitdiff | tree |
| 2002-11-13 |
Stefano Zacchiroli | switched to OCaml HTTP module
|
commit | commitdiff | tree |
| 2002-11-13 |
Stefano Zacchiroli | added ocaml-http 0.0.1
|
commit | commitdiff | tree |
| 2002-10-09 |
Stefano Zacchiroli | added support for unload and reload of predefined stylesheets
|
commit | commitdiff | tree |
| 2002-10-09 |
Stefano Zacchiroli | script that loads predefined uwobo stylesheets
|
commit | commitdiff | tree |
| 2002-10-09 |
Stefano Zacchiroli | added /etc/init.d/ stuff
|
commit | commitdiff | tree |
| 2002-08-28 |
Stefano Zacchiroli | debian release -3
|
commit | commitdiff | tree |
| 2002-08-28 |
Stefano Zacchiroli | debian version "-8"
|
commit | commitdiff | tree |
| 2002-08-28 |
Stefano Zacchiroli | forward compatibility changes for ocaml 3.06
|
commit | commitdiff | tree |
| 2002-07-02 |
Stefano Zacchiroli | Added examples.
|
commit | commitdiff | tree |
| 2002-07-02 |
Stefano Zacchiroli | converted to unix textfile (fromdos)
|
commit | commitdiff | tree |
| 2002-07-02 |
Stefano Zacchiroli | bugfix: Ring will work again with varmaps :-)
|
commit | commitdiff | tree |
| 2002-07-01 |
Stefano Zacchiroli | - added Ring tactic on reals
|
commit | commitdiff | tree |
| 2002-07-01 |
Stefano Zacchiroli | bugfix that inhibit the removal of certain hypotheses
|
commit | commitdiff | tree |
| 2002-07-01 |
Stefano Zacchiroli | bug fix: handled LetIn case in simpl
|
commit | commitdiff | tree |
| 2002-06-24 |
Stefano Zacchiroli | added comment about 0 and 1 based indexes
|
commit | commitdiff | tree |
| 2002-06-22 |
Stefano Zacchiroli | bug fix: wrapped some possible List.{hd,tl} failures...
|
commit | commitdiff | tree |
| 2002-05-14 |
Stefano Zacchiroli | Erroniously included (is a debian build process temp...
|
commit | commitdiff | tree |
| 2002-05-14 |
Stefano Zacchiroli | Release 0.1.0-1 of the deb package.
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | added debian stuff and a makefile with "dist" target
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | changed name to gdome2-xslt
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | - added -fPIC when creating .so
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | changed package name to gdome2-xslt
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | cma names parameterized in configure @PACKAGE@ variable
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | -7 debian release, hopefully build also on HPPA
|
commit | commitdiff | tree |
| 2002-04-12 |
Stefano Zacchiroli | added -fPIC option when compiling ml_gtk_mathview.o
|
commit | commitdiff | tree |
| 2002-04-02 |
Stefano Zacchiroli | Added Build-Depends on t1lib-dev
|
commit | commitdiff | tree |
| 2002-04-01 |
Stefano Zacchiroli | Added build-depend on libgdome2-cpp-smart-dev.
|
commit | commitdiff | tree |
| 2002-03-31 |
Stefano Zacchiroli | - added some .mli and .ml to the debian package
|
commit | commitdiff | tree |
| 2002-03-26 |
Stefano Zacchiroli | - Increased debian version to 0.3.0-3
|
commit | commitdiff | tree |
| 2002-03-15 |
Stefano Zacchiroli | Added build dep on libgdome2-dev
|
commit | commitdiff | tree |
| 2002-03-13 |
Stefano Zacchiroli | Debian changes for version 0.3.0 of lablgtkmathview.
|
commit | commitdiff | tree |
| 2002-01-21 |
Stefano Zacchiroli | Bug fix: destdir for mlminidom installation is now...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | - Vanity: added .... me to the copyright file as author :-P
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | - Minor fix: includes upstream changelog only if it...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | Added "-destdir" argument to "ocamlfind install" in...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | Ported to ocaml 3.04 (fixed problems with commuting...
|
commit | commitdiff | tree |
| 2002-01-20 |
Stefano Zacchiroli | Upgraded debian package for mlminidom 0.2.2
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Readme for the debianize.helm stuff.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Debianize.helm stuff.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Synced debian dir.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Removed from debian dir.
|
commit | commitdiff | tree |
| 2001-11-25 |
Stefano Zacchiroli | Synced debian dir.
|
commit | commitdiff | tree |
| 2001-11-19 |
Stefano Zacchiroli | Changed version number to 0.2.1
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Bug fix: changed "prefix" dir in install target.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Changed policy standard version.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Removed INSTALL (not needed) and NEWS (0 sized) from...
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Remove template like string that lintian hates.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Set DH_COMPAT=2 (instead of 1).
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Set section field. Changed maintainer field.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Changed maintainer field and set section field.
|
commit | commitdiff | tree |
| 2001-11-14 |
Stefano Zacchiroli | Removed temp files from repository.
|
commit | commitdiff | tree |
| 2001-11-12 |
Stefano Zacchiroli | - modified /getxslt method, now stylesheets are downloaded...
|
commit | commitdiff | tree |
| 2001-11-12 |
Stefano Zacchiroli | Added ".db" suffix to urls_of_uris default value.
|
commit | commitdiff | tree |
| 2001-11-11 |
Stefano Zacchiroli | Added "/getempty" method.
|
commit | commitdiff | tree |
| next |
projects / helm.git / search