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

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

2004-05-28	Claudio Sacerdoti...	<h1> ==> <h3>	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	stylesheet L added to the metadata chain	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	bread crumb trail added	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	metadataLib.xsl merged into metadataControl.xsl	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	defaults.js no longer in use	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	Files control.js graphLinks.js utils.js no longer in...	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	Dead code inclusion removed.	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree \| snapshot
2004-05-28	Claudio Sacerdoti...	ls2html.xsl no longer in use	commit \| commitdiff \| tree \| snapshot
2004-05-27	Claudio Sacerdoti...	Form to choose the number of nodes to show removed ;-(	commit \| commitdiff \| tree \| snapshot
2004-05-27	Claudio Sacerdoti...	&2C ==> %2C	commit \| commitdiff \| tree \| snapshot
2004-05-27	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2004-05-27	Claudio Sacerdoti...	New HELM interface almost stable.	commit \| commitdiff \| tree \| snapshot
2004-05-27	Luca Padovani	* it is now possible to set multiple parameters upon...	commit \| commitdiff \| tree \| snapshot
2004-05-27	Luca Padovani	* setpassword passwords swapped	commit \| commitdiff \| tree \| snapshot
2004-05-27	Luca Padovani	* implemented setparams method for setting multiple...	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	param.processorURL added (need by the search engine)	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	target="_top" added to Search.	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	Link to the search-engine hard-coded.	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	Major interface upgrade still going on. But we are...	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	New icons.	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	Major interface upgrade still going on. But we are...	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	Bug fixed: ls?baseuri=(cic\|theory):/a/ also returned...	commit \| commitdiff \| tree \| snapshot
2004-05-26	Luca Padovani	* getparams returns annotated pairs key,values	commit \| commitdiff \| tree \| snapshot
2004-05-26	Stefano Zacchiroli	bugfix in /ls: removed double trailing "/"	commit \| commitdiff \| tree \| snapshot
2004-05-26	Stefano Zacchiroli	ported to regexp based /ls method	commit \| commitdiff \| tree \| snapshot
2004-05-26	Stefano Zacchiroli	changed /ls method so that regular expressions are...	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	Major interface improvements.	commit \| commitdiff \| tree \| snapshot
2004-05-26	Luca Padovani	* bumped to new version	commit \| commitdiff \| tree \| snapshot
2004-05-26	Luca Padovani	* added external documentation in tex format	commit \| commitdiff \| tree \| snapshot
2004-05-26	Claudio Sacerdoti...	JSMmenu links fixed.	commit \| commitdiff \| tree \| snapshot
2004-05-25	Luca Padovani	##################################################...	commit \| commitdiff \| tree \| snapshot
2004-05-25	Luca Padovani	New: UWOBO profiles added.	commit \| commitdiff \| tree \| snapshot
2004-05-25	Matteo Selmi	written a new sort function to postpone the resolution...	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	don't remove documentation on "make dist" so that docum...	commit \| commitdiff \| tree \| snapshot
2004-05-24	Luca Padovani	* setprofileparam ==> setparam	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	added hostname resolution entry	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	implemented hostname resolution for "addr" parameter	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	rewritten "start" comment, now is almost decent	commit \| commitdiff \| tree \| snapshot
2004-05-24	Stefano Zacchiroli	emptied implementing all items	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom