]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo
URIs of inductive types and constructors fixed.
[helm.git] / helm / uwobo /
2003-07-16 Luca Padovani* updated the help file to reflect the new syntax ...
2003-07-11 Claudio Sacerdoti... Version dumped.
2003-07-11 Claudio Sacerdoti... Bug fixed: the value of parameters must be valid XPath...
2003-05-15 Claudio Sacerdoti... Several changes:
2003-05-15 Claudio Sacerdoti... New: two new methods added
2003-04-29 Claudio Sacerdoti... New dependencies.
2003-04-29 Claudio Sacerdoti... New: stylesheets are now partially cached (i.e. all...
2003-04-04 Stefano Zacchiroli- redesigned error and warning handling for libxslt
2003-03-25 Stefano Zacchirolipretty print errors using red color instead of h1 text...
2003-03-25 Stefano Zacchirolireload/remove all stylesheets now prints also which...
2003-03-25 Stefano Zacchiroliadded keys method that list currently loaded stylesheet...
2003-03-25 Stefano Zacchiroliadded feedback for reload/remove methods (close #39)
2003-03-20 Stefano Zacchiroliadded distcheck target
2003-03-20 Stefano Zacchirolibumped version to 0.2.0
2003-03-20 Stefano Zacchiroliadded version information
2003-03-15 Stefano Zacchiroli- added support for environment specified log file...
2003-03-15 Stefano Zacchiroli- catch libxslt error and debugging messages and return...
2003-03-15 Stefano Zacchiroli- added support for "formatted" log messages, mainly
2003-03-12 Stefano Zacchirolimoved uwobo sources to the root uwobo directory
2003-03-12 Stefano Zacchiroliremoved .cvswrappers
2003-03-12 Stefano Zacchiroliremoved old java implementation
2003-03-12 Stefano Zacchirolitypo fixes in usage string
2003-03-12 Stefano Zacchiroliremoved an ancient debugging message
2003-03-12 Stefano Zacchiroliadded generation of dot dependency graph
2003-01-17 Stefano Zacchirolichanged log file permission to 0o640
2003-01-17 Stefano Zacchirolikill HTTP child on exit
2003-01-17 Stefano Zacchirolicatch SIGTERM and log a "bye" message
2003-01-17 Stefano Zacchiroli- bugfix: display exit message only when uwobo master...
2003-01-17 Stefano Zacchiroli- removed debugging messages while setting output prope...
2003-01-17 Stefano Zacchiroli- generalized sysLogger class so that it logs to a...
2003-01-17 Stefano Zacchiroli- removed useless thread stuff
2003-01-17 Stefano Zacchiroli- removed thread stuff
2003-01-17 Stefano ZacchiroliMAJOR CHANGES:
2003-01-17 Stefano Zacchiroliremoved thread support options
2003-01-17 Stefano Zacchirolirebuilt
2003-01-15 Stefano Zacchiroli- disabled OCaml HTTP debugging
2003-01-15 Stefano Zacchiroli- no default_properties
2003-01-15 Stefano Zacchiroli- added support for default properties
2003-01-15 Stefano Zacchirolichanged default behavior of the "all:" target, now...
2003-01-10 Stefano Zacchiroli- added "dist" target
2003-01-10 Stefano Zacchiroliadded debugging code (disabled by default) that saves...
2003-01-10 Stefano Zacchirolispecified type for Http_types.request objects
2003-01-10 Stefano Zacchiroli- export level and levelNo with methods
2003-01-10 Stefano Zacchiroli- fixed typo: use Param_not_found exception from Http_types
2002-12-02 Stefano Zacchiroli- unset http_proxy to avoid libxslt related problems
2002-12-02 Stefano Zacchiroli- bugfix use Netconding.Url.encode instead of trivial...
2002-12-02 Stefano Zacchiroli- added 2 TODO items
2002-12-02 Stefano Zacchiroli- moved supported_properties stuff in uwobo_common
2002-12-02 Stefano Zacchiroli- bugfix: wrap Not_found exception with Stylesheet_not_...
2002-12-02 Stefano Zacchiroli- written help message
2002-12-02 Stefano Zacchiroli- moved here support_properties stuff
2002-12-01 Stefano Zacchiroli- bugfix (or hack, as you wish :-) for recursive invoca...
2002-12-01 Stefano Zacchiroli- bugfix: add xsl:output element as last child of the...
2002-12-01 Stefano Zacchiroliuse '-thread' option only when linking
2002-11-29 Stefano Zacchirolisnapshot Fri, 29 Nov 2002 17:17:46 +0100 zack
2002-11-29 Stefano Zacchirolisnapshot Fri, 29 Nov 2002 12:38:23 +0100 zack
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 18:10:57 +0100
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 14:47:14 +0100
2002-11-27 Stefano Zacchirolisnapshot Wed, 27 Nov 2002 02:45:45 +0100
2002-11-26 Stefano Zacchirolicvs snapshot Tue, 26 Nov 2002 18:41:34 +0100
2002-11-26 Stefano Zacchiroliuwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...
2001-11-12 Claudio Sacerdoti... Version 1.2.1beta => 1.2.1
2001-11-12 Claudio Sacerdoti... - Stylesheet exceptions now printed in red.
2001-11-07 Claudio Sacerdoti... ...
2001-11-07 Claudio Sacerdoti... GPL licence added
2001-11-07 Claudio Sacerdoti... .cvsignore added
2001-11-07 Claudio Sacerdoti... Xalan-J_2.2.D3
2001-11-07 Claudio Sacerdoti... xerces required by Xalan-J_2.2.D3
2001-11-07 Claudio Sacerdoti... GPL licence added.
2001-11-06 Claudio Sacerdoti... Version 1.2 ==> 1.2.0
2001-11-06 Claudio Sacerdoti... 1) New syntax: methods add, reload and remove can now...
2001-11-06 Claudio Sacerdoti... Commit of Ferruccio changes:
2001-10-18 Luca PadovaniInitial revision