matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2002-12-05	Luca Padovani	* patches for ocaml compilation	commit \| commitdiff \| tree \| snapshot
2002-12-04	Luca Padovani	* missed some files	commit \| commitdiff \| tree \| snapshot
2002-12-04	Luca Padovani	* added C++ binding	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- reverted to only one quotation level in xmluri, libxm...	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	recomputed	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- bugfix: removed Http_types -> Http_types dep	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- use Pcre to perform sanity checks	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- first entry for 0.0.7	commit \| commitdiff \| tree \| snapshot
2002-12-04	Stefano Zacchiroli	- added deb target	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- added sanity checks entry	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- added two TODO comment	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- moved exceptions here	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- moved exceptions in http_types	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- moved exceptions in http_types	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- implemented heal_header that sanity checks an header	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- added sanity test on headers while using send_header{,s}	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- added string_{em,im}plode	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	- moved exceptions in http_types	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	added cvsignores	commit \| commitdiff \| tree \| snapshot
2002-12-03	Stefano Zacchiroli	added Http_constants module	commit \| commitdiff \| tree \| snapshot
2002-12-03	Claudio Sacerdoti...	m:exist ==> m:exists	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- unset http_proxy to avoid libxslt related problems	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- bugfix use Netconding.Url.encode instead of trivial...	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- added 2 TODO items	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- moved supported_properties stuff in uwobo_common	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- bugfix: wrap Not_found exception with Stylesheet_not_...	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- written help message	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- moved here support_properties stuff	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	bugfix: install also _mt objects	commit \| commitdiff \| tree \| snapshot
2002-12-02	Stefano Zacchiroli	- added an additional level of quoting on xmluri argume...	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- bugfix (or hack, as you wish :-) for recursive invoca...	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- bugfix: add xsl:output element as last child of the...	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	use '-thread' option only when linking	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- added damned_recursion example	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- removed some ':'s	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- added mt and non_mt dirs to dist stuff	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- split threaded and non threaded implementations	commit \| commitdiff \| tree \| snapshot
2002-12-01	Stefano Zacchiroli	- split threaded and non threaded implementations	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	snapshot Fri, 29 Nov 2002 17:17:46 +0100 zack	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	snapshot Fri, 29 Nov 2002 12:38:23 +0100 zack	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	added 0.0.2 entry	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	use saveResultToChannel instead of gdome serialization...	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	implemented saveResultToChannel	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	bumped micro version to 2	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	- slices of io.h from ocaml source tree to retrieve...	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	- use saveResultTo* functions instead of gdome serializ...	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	- added saveResultTo{Filename,File,Fd}	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	added -Wall flag to gcc invocation	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	bumped version 0.0.2	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	added LICENSE files (LICENSE-INRIA if for ocaml-io.h)	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	- added versioned deps and build deps	commit \| commitdiff \| tree \| snapshot
2002-11-29	Stefano Zacchiroli	removed verbatim GPL license, replaced with a reference to	commit \| commitdiff \| tree \| snapshot
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 18:10:57 +0100	commit \| commitdiff \| tree \| snapshot
2002-11-27	natile	objectName patched.	commit \| commitdiff \| tree \| snapshot
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 14:47:14 +0100	commit \| commitdiff \| tree \| snapshot
2002-11-27	natile	Relation patched, property added.	commit \| commitdiff \| tree \| snapshot
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 02:45:45 +0100	commit \| commitdiff \| tree \| snapshot
2002-11-26	Stefano Zacchiroli	cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100	commit \| commitdiff \| tree \| snapshot
2002-11-26	Ferruccio Guidi	lexer patched	commit \| commitdiff \| tree \| snapshot
2002-11-26	Stefano Zacchiroli	- added support for empty bindings like "a=" or simple...	commit \| commitdiff \| tree \| snapshot
2002-11-26	Stefano Zacchiroli	s/param_all/paramAll/g	commit \| commitdiff \| tree \| snapshot
2002-11-26	Stefano Zacchiroli	parse DISTVERSION from debian/changelog	commit \| commitdiff \| tree \| snapshot
2002-11-26	Stefano Zacchiroli	uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...	commit \| commitdiff \| tree \| snapshot
2002-11-26	Ferruccio Guidi	debug output removed	commit \| commitdiff \| tree \| snapshot
2002-11-26	Ferruccio Guidi	MathQL.ml updated	commit \| commitdiff \| tree \| snapshot
2002-11-25	Pietro Di Lena	Changing directory for tmp files	commit \| commitdiff \| tree \| snapshot
2002-11-25	Pietro Di Lena	Now it is possible to define a 'cookable' operator...	commit \| commitdiff \| tree \| snapshot
2002-11-25	Pietro Di Lena	Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set...	commit \| commitdiff \| tree \| snapshot
2002-11-25	Pietro Di Lena	Now value returned by get_no_params function is a numbe...	commit \| commitdiff \| tree \| snapshot
2002-11-25	Stefano Zacchiroli	- added method 'param_all' to request objects	commit \| commitdiff \| tree \| snapshot
2002-11-22	natile	Debugging prints removed.	commit \| commitdiff \| tree \| snapshot
2002-11-22	natile	Mathql_interpreter now using db helm_mowgli_new_schema.	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- added var SEARCH_ENGINE_PORT	commit \| commitdiff \| tree \| snapshot
2002-11-22	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	cvsignore for html documentation dir	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- added ocamldoc documentation in debian package	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- fixed wrong @raise ocamldoc tags	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- added targets relative to ocamldoc doc generation	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- bumped version to 0.0.5	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- removed old entries from TODO	commit \| commitdiff \| tree \| snapshot
2002-11-22	Stefano Zacchiroli	- added support for multithreaded daemons	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	First version of the stuff to create the DB.	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	The notational stylesheets from CIC to MathML Content...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	First version of Di Lena's stylesheet generator (for...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	typo fixed	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	*.yy.c removed	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	.rdf ==> .xml	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2002-11-21	Claudio Sacerdoti...	<h:Object> is now repeated every time a MainHypothesis...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	Bug fixed: refSort were exported (as refObj) also when...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	rdf:parseType="Resource" added to backPointer	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	* New metadata for refSort and refRel	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	TODO list	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- changed invoked daemons for proof checker, draw graph...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	added env var DRAW_GRAPH_DIR	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- get working directory from env var DRAW_GRAPH_DIR	commit \| commitdiff \| tree \| snapshot
2002-11-20	Stefano Zacchiroli	- http debugging value copied from daemon debugging...	commit \| commitdiff \| tree \| snapshot
2002-11-20	Claudio Sacerdoti...	<h:depth> must precede <h:occurrence> (to make metadata...	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom