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

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

2004-04-29	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-29	Stefano Zacchiroli	- added a configuration variable for selecting between...	commit \| commitdiff \| tree \| snapshot
2004-04-28	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-28	Stefano Zacchiroli	added a TODO comment	commit \| commitdiff \| tree \| snapshot
2004-04-28	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2004-04-28	Stefano Zacchiroli	added extra "id" parameter for input_or_locate_uri...	commit \| commitdiff \| tree \| snapshot
2004-04-28	Stefano Zacchiroli	- split logic operators away from aritmetic ones so...	commit \| commitdiff \| tree \| snapshot
2004-04-28	Stefano Zacchiroli	removed file:// prefix from local_library key, hopefull...	commit \| commitdiff \| tree \| snapshot
2004-04-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-23	Claudio Sacerdoti...	gt URL pointed to lt	commit \| commitdiff \| tree \| snapshot
2004-04-23	Enrico Tassi	Universes introduction	commit \| commitdiff \| tree \| snapshot
2004-04-23	Claudio Sacerdoti...	rdfly hardcoded URL changed from mowgli.cs.unibo.it...	commit \| commitdiff \| tree \| snapshot
2004-04-22	Claudio Sacerdoti...	expandasking parameter passed to UWOBO.	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-22	Claudio Sacerdoti...	mysql_connection.* keys added	commit \| commitdiff \| tree \| snapshot
2004-04-22	Claudio Sacerdoti...	mathql_interpreter.mysql_connection.* keys added.	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	added (and used) some type shorthands	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	- added some type shorthands	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	rebuit	commit \| commitdiff \| tree \| snapshot
2004-04-22	Claudio Sacerdoti...	Patches to generate ?1 : ?2 : Type in place of ?1 ...	commit \| commitdiff \| tree \| snapshot
2004-04-22	Enrico Tassi	Big bug fixed: in the case t <?= ?1, the instantiation...	commit \| commitdiff \| tree \| snapshot
2004-04-22	Enrico Tassi	fourier.mli addedto interface files.	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	added /help method (needed by respawner)	commit \| commitdiff \| tree \| snapshot
2004-04-22	Claudio Sacerdoti...	IMPLEMENTATION_FILES now generated from INTERFACE_FILES.	commit \| commitdiff \| tree \| snapshot
2004-04-22	Stefano Zacchiroli	added .cvsignore	commit \| commitdiff \| tree \| snapshot
2004-04-21	Stefano Zacchiroli	detects and uses {ocamlc,ocamlopt}.opt when available	commit \| commitdiff \| tree \| snapshot
2004-04-21	Stefano Zacchiroli	detect and use {ocamlc,ocamlopt}.opt when they are...	commit \| commitdiff \| tree \| snapshot
2004-04-21	Stefano Zacchiroli	exported term_of_uri	commit \| commitdiff \| tree \| snapshot
2004-04-21	Stefano Zacchiroli	added helmLibraryObjects.mli mention	commit \| commitdiff \| tree \| snapshot
2004-04-21	Stefano Zacchiroli	added .mli	commit \| commitdiff \| tree \| snapshot
2004-04-20	Stefano Zacchiroli	got rid of a ~status label	commit \| commitdiff \| tree \| snapshot
2004-04-20	Stefano Zacchiroli	got rid of ~status label	commit \| commitdiff \| tree \| snapshot
2004-04-20	Stefano Zacchiroli	got rid of ~status label so that tactics can now be...	commit \| commitdiff \| tree \| snapshot
2004-04-20	Stefano Zacchiroli	added ocamlfind library checks to configure.ac	commit \| commitdiff \| tree \| snapshot
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	commit \| commitdiff \| tree \| snapshot
2004-04-20	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	ignore Makefile since now it's generated by configure	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	added Makefile.in	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	reorganized metas so that pxp is references only throug...	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	added hbugs' (client) meta	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	generalized META.* ignoring	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	- reordered modules so that pxp could be used as entry...	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	use PxpHelmConf	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	added dep on Helm_registry	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	use PxpHelmConf module	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	- embedded ClientHTTP module (not very nice, but Client...	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	added ExtThread module, ex Hbugs_deity (a Thread module...	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	injected hbugs under ocaml/ dir	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	moved hbugs under ocaml/	commit \| commitdiff \| tree \| snapshot
2004-04-19	Stefano Zacchiroli	fixed a typo (inside a comment)	commit \| commitdiff \| tree \| snapshot
2004-04-16	Claudio Sacerdoti...	test_equality_only was not used in sort comparison.	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	use respawner	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	changed logging message	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	removed deprecated uwobo_forever.sh	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	removed tedious "_mowgli" postfix	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	use new daemon_respawner.sh	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	fixed some typos in sample init.d	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	added generic daemon respawner	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	script deprecated	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	added newline to log when log_file is in use	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	- addead autoconf-iguration. Actually it only set the...	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	- use new logger interface	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	- rewritten http_getter logger interface	commit \| commitdiff \| tree \| snapshot
2004-04-16	Stefano Zacchiroli	- added sample usage of get_opt method	commit \| commitdiff \| tree \| snapshot
2004-04-15	Andrea Asperti	Metasenv added as parameter to eta_fixing.	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	s/dtd_base_url/dtd_base_urls/	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	- better pretty printing of exceptions (added red color)	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	- fixed dtd_base_urls implementation	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	- better pretty printing on /update	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	added string_of_html_tag (plain text pretty printer...	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	added support for multiple dtd_base_urls	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	updating all sections	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-04-14	Claudio Sacerdoti...	Bug fixed: the following happened.	commit \| commitdiff \| tree \| snapshot
2004-04-14	Stefano Zacchiroli	added exists_meta	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-04-13	Ferruccio Guidi	updating the introduction	commit \| commitdiff \| tree \| snapshot
2004-04-09	Stefano Zacchiroli	ported to latest polymorphic variant types	commit \| commitdiff \| tree \| snapshot
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible to...	commit \| commitdiff \| tree \| snapshot
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible (to...	commit \| commitdiff \| tree \| snapshot
2004-04-07	Stefano Zacchiroli	added a missing <br> tag	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	implemented save_to	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- uncommented save_to function (now implemented)	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	added Unix dependency (needed in order to run xmllint)	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	eta_fixing of the CurrentProof metasenv is wrong, since...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	The parser accepts terms with metavariables as statemen...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- added test file	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- added via_http parameter so that when the getter...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- use polymorphic variants for some configuration param...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	bugfix: local context and canonical context previously...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	bugfix: the function that abstract constant occurrences...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	reorganized functions order	commit \| commitdiff \| tree \| snapshot
2004-04-05	Claudio Sacerdoti...	http_getter.conf.xml ==> /projects/helm/etc/http_getter...	commit \| commitdiff \| tree \| snapshot
2004-04-05	Stefano Zacchiroli	added html_of_html_tag	commit \| commitdiff \| tree \| snapshot
2004-04-05	Claudio Sacerdoti...	URL patching in ENTITY declarations extended to cover...	commit \| commitdiff \| tree \| snapshot
2004-04-05	Claudio Sacerdoti...	XHTML character entities (used in the internal subset...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom