| 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 |
| 2001-10-17 |
Stefano Zacchiroli | Makefile.in that support some new architectures.
|
commit | commitdiff | tree |
| 2001-06-27 |
Stefano Zacchiroli | added support for new environment variables
|
commit | commitdiff | tree |
| 2001-06-27 |
Stefano Zacchiroli | # bugfix: rdf tie that proxies rdf_urls_of_uris.db...
|
commit | commitdiff | tree |
| 2001-06-26 |
Stefano Zacchiroli | added useful tools for perl debugging:
|
commit | commitdiff | tree |
| 2001-06-26 |
Stefano Zacchiroli | * added preliminary support for rdf metadata
|
commit | commitdiff | tree |
| 2001-03-20 |
Stefano Zacchiroli | - added support for file ls (i.e. you can use a baseuri...
|
commit | commitdiff | tree |
| 2001-03-17 |
Stefano Zacchiroli | Added support for CGI handling, still remain some problems...
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | - renamed /getciconly in /getxml
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Changed default content type from "text/plain" to ...
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Various changes:
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Added "format" support to /getciconly method.
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | ehm ... no comment
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Fixed a bug in the case cachemode=gzipped, resourcetype...
|
commit | commitdiff | tree |
| 2001-03-16 |
Stefano Zacchiroli | Fixed bug in .ann extension handling.
|
commit | commitdiff | tree |
| 2001-03-10 |
Stefano Zacchiroli | Added dtd reference in ls method while generating xml...
|
commit | commitdiff | tree |
| 2001-03-06 |
Stefano Zacchiroli | Added ordering in ann and types flags
|
commit | commitdiff | tree |
| 2001-03-05 |
Stefano Zacchiroli | new version of ls,
|
commit | commitdiff | tree |
| 2001-03-05 |
Stefano Zacchiroli | Fixed a bug in CGI creation, method "update" now work...
|
commit | commitdiff | tree |
| 2001-02-22 |
Stefano Zacchiroli | Changed syntax for 'ls' method:
|
commit | commitdiff | tree |
| 2001-02-17 |
Stefano Zacchiroli | Added 'ls' method: return a list of uri that begin...
|
commit | commitdiff | tree |
| 2001-02-17 |
Stefano Zacchiroli | helm_wget subroutine now use LWP module and doesn't...
|
commit | commitdiff | tree |
| 2001-02-12 |
Stefano Zacchiroli | Removed rebuilding of urls_of_uris.db on update user...
|
commit | commitdiff | tree |
| 2001-02-12 |
Stefano Zacchiroli | modified "update" request handling, now getter rebuild...
|
commit | commitdiff | tree |
| 2001-02-03 |
Stefano Zacchiroli | Reindented some parts
|
commit | commitdiff | tree |
| next |
projects / helm.git / search