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

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

2004-05-20	Stefano Zacchiroli	added some nested sections in order to test "ls" method	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	- added "has" method	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added helm-pxp, now needed	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	expanded content of old topfind	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	no longer needed	commit \| commitdiff \| tree
2004-05-20	Stefano Zacchiroli	added iterators over registry contents (fold, iter...	commit \| commitdiff \| tree
2004-05-17	Stefano Zacchiroli	Added support for xml base(s) URL and URI. The getter...	commit \| commitdiff \| tree
2004-05-17	Stefano Zacchiroli	first check in of statefulProofEngine	commit \| commitdiff \| tree
2004-05-17	Stefano Zacchiroli	bugfix: remove trailing slashes from dtd_base_urls	commit \| commitdiff \| tree
2004-05-13	Stefano Zacchiroli	changed proofStatus so that uri component is optional...	commit \| commitdiff \| tree
2004-05-04	Stefano Zacchiroli	snapshot (notably: first working version of the console)	commit \| commitdiff \| tree
2004-05-04	Stefano Zacchiroli	- moved up in the grammar precedences command entry...	commit \| commitdiff \| tree
2004-05-04	Stefano Zacchiroli	removed traliling dot in command pretty printer, now...	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	added Abort and Check commands	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	embedded commands ast into tacticals ast	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	- moved command as sub-entries of tactical grammars...	commit \| commitdiff \| tree
2004-04-30	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	- moved applyTransformation initialization code to...	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	moved here initialization code (previously in gTopLevel...	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-29	Stefano Zacchiroli	- added a configuration variable for selecting between...	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	added a TODO comment	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	added extra "id" parameter for input_or_locate_uri...	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	- split logic operators away from aritmetic ones so...	commit \| commitdiff \| tree
2004-04-28	Stefano Zacchiroli	removed file:// prefix from local_library key, hopefully...	commit \| commitdiff \| tree
2004-04-23	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	added (and used) some type shorthands	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	- added some type shorthands	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	rebuit	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	added /help method (needed by respawner)	commit \| commitdiff \| tree
2004-04-22	Stefano Zacchiroli	added .cvsignore	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	detects and uses {ocamlc,ocamlopt}.opt when available	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	detect and use {ocamlc,ocamlopt}.opt when they are...	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	exported term_of_uri	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	added helmLibraryObjects.mli mention	commit \| commitdiff \| tree
2004-04-21	Stefano Zacchiroli	added .mli	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	got rid of a ~status label	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	got rid of ~status label	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	got rid of ~status label so that tactics can now be...	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	added ocamlfind library checks to configure.ac	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	commit \| commitdiff \| tree
2004-04-20	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	ignore Makefile since now it's generated by configure	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added Makefile.in	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	reorganized metas so that pxp is references only through...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added hbugs' (client) meta	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	generalized META.* ignoring	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- reordered modules so that pxp could be used as entry...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added dep on Helm_registry	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	use PxpHelmConf module	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- use PxpHelmConf	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	- embedded ClientHTTP module (not very nice, but ClientHTTP...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	added ExtThread module, ex Hbugs_deity (a Thread module...	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	injected hbugs under ocaml/ dir	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	moved hbugs under ocaml/	commit \| commitdiff \| tree
2004-04-19	Stefano Zacchiroli	fixed a typo (inside a comment)	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	use respawner	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	changed logging message	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	removed deprecated uwobo_forever.sh	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	removed tedious "_mowgli" postfix	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	use new daemon_respawner.sh	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	fixed some typos in sample init.d	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	added generic daemon respawner	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	script deprecated	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	added newline to log when log_file is in use	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- addead autoconf-iguration. Actually it only set the...	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- use new logger interface	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- rewritten http_getter logger interface	commit \| commitdiff \| tree
2004-04-16	Stefano Zacchiroli	- added sample usage of get_opt method	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	s/dtd_base_url/dtd_base_urls/	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	- better pretty printing of exceptions (added red color)	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	- fixed dtd_base_urls implementation	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	- better pretty printing on /update	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	added string_of_html_tag (plain text pretty printer...	commit \| commitdiff \| tree
2004-04-15	Stefano Zacchiroli	added support for multiple dtd_base_urls	commit \| commitdiff \| tree
2004-04-14	Stefano Zacchiroli	added exists_meta	commit \| commitdiff \| tree
2004-04-09	Stefano Zacchiroli	ported to latest polymorphic variant types	commit \| commitdiff \| tree
2004-04-07	Stefano Zacchiroli	added a missing <br> tag	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	implemented save_to	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- uncommented save_to function (now implemented)	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	added Unix dependency (needed in order to run xmllint)	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	eta_fixing of the CurrentProof metasenv is wrong, since...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	The parser accepts terms with metavariables as statements...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- added test file	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- added via_http parameter so that when the getter...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	- use polymorphic variants for some configuration parameters	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	bugfix: local context and canonical context previously...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	bugfix: the function that abstract constant occurrences...	commit \| commitdiff \| tree
2004-04-06	Stefano Zacchiroli	reorganized functions order	commit \| commitdiff \| tree
2004-04-05	Stefano Zacchiroli	added html_of_html_tag	commit \| commitdiff \| tree
2004-04-02	Stefano Zacchiroli	s/per_user_settings/user_settings/ for consistency...	commit \| commitdiff \| tree
2004-04-02	Stefano Zacchiroli	- logging of long-running actions (like update) is...	commit \| commitdiff \| tree
2004-04-01	Stefano Zacchiroli	removed no longer needed password from connection string	commit \| commitdiff \| tree
next

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

RSS Atom