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

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

2004-05-24	Stefano Zacchiroli	removed spurious messages	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	- ported to latest API	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	- added basic_auth.ml example	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	debian snapshot (towards a release)	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	added OO interface	commit \| commitdiff \| tree \| snapshot
2004-05-22	Luca Padovani	* preliminary version of profile management	commit \| commitdiff \| tree \| snapshot
2004-05-22	Luca Padovani	* updated respond_error messages after API change in...	commit \| commitdiff \| tree \| snapshot
2004-05-21	Matteo Selmi	Added a sort function to decide the order of theorems...	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	added file locking while writing configuration to file...	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	open Helm_registry per default	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	bumped copyright years	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	Changed mapping keys <-> environment variables, mixed...	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	reverted code parameter on respond function to its...	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	written entry for 0.0.9	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	restyled API so that respond_* are statically typechecked	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	- changed API so that respond_* are statically type...	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	added support for HEAD requests	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	http basic authentication example	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	added support for HTTP (Basic) authentication	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	- added support for HTTP (Basic) authentication	commit \| commitdiff \| tree \| snapshot
2004-05-20	Luca Padovani	* hbugs moved in ocaml	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	added some nested sections in order to test "ls" method	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	- added "has" method	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	added helm-pxp, now needed	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	expanded content of old topfind	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	no longer needed	commit \| commitdiff \| tree \| snapshot
2004-05-20	Stefano Zacchiroli	added iterators over registry contents (fold, iter...	commit \| commitdiff \| tree \| snapshot
2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	commit \| commitdiff \| tree \| snapshot
2004-05-19	Claudio Sacerdoti...	Bug fixed: middle-clicking over links in the listing...	commit \| commitdiff \| tree \| snapshot
2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	commit \| commitdiff \| tree \| snapshot
2004-05-19	Andrea Asperti	first moogle template checkin	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom