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

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

2004-05-18	Claudio Sacerdoti...	* the input of the function mkMetaTheoryURL must an...	commit \| commitdiff \| tree \| snapshot
2004-05-18	Claudio Sacerdoti...	* the URI passed to the rdfly deamon is now CICURI...	commit \| commitdiff \| tree \| snapshot
2004-05-18	Claudio Sacerdoti...	* [Luca] string concatenation now made using String...	commit \| commitdiff \| tree \| snapshot
2004-05-18	Andrea Asperti	Nuova implementazione di Auto "breadth-first".	commit \| commitdiff \| tree \| snapshot
2004-05-18	Claudio Sacerdoti...	xml:base and helm:base are now generated only for theories.	commit \| commitdiff \| tree \| snapshot
2004-05-18	Claudio Sacerdoti...	* tactics/Makefile fixed (to remove duplicate .mli...	commit \| commitdiff \| tree \| snapshot
2004-05-18	Claudio Sacerdoti...	Bug fixed: the xml:base URL and helm:base URI were...	commit \| commitdiff \| tree \| snapshot
2004-05-17	Matteo Selmi	Added a filter for uris in tactic "auto".	commit \| commitdiff \| tree \| snapshot
2004-05-17	Stefano Zacchiroli	Added support for xml base(s) URL and URI. The getter...	commit \| commitdiff \| tree \| snapshot
2004-05-17	Stefano Zacchiroli	first check in of statefulProofEngine	commit \| commitdiff \| tree \| snapshot
2004-05-17	Stefano Zacchiroli	bugfix: remove trailing slashes from dtd_base_urls	commit \| commitdiff \| tree \| snapshot
2004-05-13	Ferruccio Guidi	- some code patched	commit \| commitdiff \| tree \| snapshot
2004-05-13	Stefano Zacchiroli	changed proofStatus so that uri component is optional...	commit \| commitdiff \| tree \| snapshot
2004-05-10	Andrea Asperti	* empty log message *	commit \| commitdiff \| tree \| snapshot
2004-05-10	Andrea Asperti	Adding file newConstraint	commit \| commitdiff \| tree \| snapshot
2004-05-10	Andrea Asperti	Adding file match_concl	commit \| commitdiff \| tree \| snapshot
2004-05-04	Stefano Zacchiroli	snapshot (notably: first working version of the console)	commit \| commitdiff \| tree \| snapshot
2004-05-04	Stefano Zacchiroli	- moved up in the grammar precedences command entry...	commit \| commitdiff \| tree \| snapshot
2004-05-04	Stefano Zacchiroli	removed traliling dot in command pretty printer, now...	commit \| commitdiff \| tree \| snapshot
2004-04-30	Stefano Zacchiroli	added Abort and Check commands	commit \| commitdiff \| tree \| snapshot
2004-04-30	Stefano Zacchiroli	embedded commands ast into tacticals ast	commit \| commitdiff \| tree \| snapshot
2004-04-30	Stefano Zacchiroli	- moved command as sub-entries of tactical grammars...	commit \| commitdiff \| tree \| snapshot
2004-04-30	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-04-29	Stefano Zacchiroli	- moved applyTransformation initialization code to...	commit \| commitdiff \| tree \| snapshot
2004-04-29	Stefano Zacchiroli	moved here initialization code (previously in gTopLevel...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom