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

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

2001-03-16	Claudio Sacerdoti...	Files with annotations available now use a different...	commit \| commitdiff \| tree \| snapshot
2001-03-16	Claudio Sacerdoti...	Used for files where annotations are availables	commit \| commitdiff \| tree \| snapshot
2001-03-16	Claudio Sacerdoti...	annotations now taken in account (as was for naturalLan...	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	Fixed bug in .ann extension handling.	commit \| commitdiff \| tree \| snapshot
2001-03-14	Claudio Sacerdoti...	Syntax error + new indenting	commit \| commitdiff \| tree \| snapshot
2001-03-14	Claudio Sacerdoti...	Configuration on-line now pass the parameters	commit \| commitdiff \| tree \| snapshot
2001-03-13	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-03-12	Claudio Sacerdoti...	Last update before dismission	commit \| commitdiff \| tree \| snapshot
2001-03-10	Stefano Zacchiroli	Added dtd reference in ls method while generating xml...	commit \| commitdiff \| tree \| snapshot
2001-03-09	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-09	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-08	Luca Padovani	the version command has been renamed into help, the...	commit \| commitdiff \| tree \| snapshot
2001-03-07	Claudio Sacerdoti...	processorURL must now already end with a /	commit \| commitdiff \| tree \| snapshot
2001-03-07	Claudio Sacerdoti...	Now the on-line interface can use a Getter and an UWOBO...	commit \| commitdiff \| tree \| snapshot
2001-03-07	Claudio Sacerdoti...	Bug fixed: now propagates informations about inner...	commit \| commitdiff \| tree \| snapshot
2001-03-07	Andrea Asperti	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-03-06	Claudio Sacerdoti...	getter flags considered	commit \| commitdiff \| tree \| snapshot
2001-03-06	Stefano Zacchiroli	Added ordering in ann and types flags	commit \| commitdiff \| tree \| snapshot
2001-03-06	Claudio Sacerdoti...	library3 ==> javascript	commit \| commitdiff \| tree \| snapshot
2001-03-06	Claudio Sacerdoti...	New on-line interface	commit \| commitdiff \| tree \| snapshot
2001-03-06	Claudio Sacerdoti...	New online interface	commit \| commitdiff \| tree \| snapshot
2001-03-06	Claudio Sacerdoti...	The .types files are now read directly by the stylesheets.	commit \| commitdiff \| tree \| snapshot
2001-03-06	Claudio Sacerdoti...	Now uses the param keys	commit \| commitdiff \| tree \| snapshot
2001-03-05	Stefano Zacchiroli	new version of ls,	commit \| commitdiff \| tree \| snapshot
2001-03-05	Andrea Asperti	added eq_ind	commit \| commitdiff \| tree \| snapshot
2001-03-05	Stefano Zacchiroli	Fixed a bug in CGI creation, method "update" now work...	commit \| commitdiff \| tree \| snapshot
2001-03-01	Luca Padovani	patch for libxml2 new release	commit \| commitdiff \| tree \| snapshot
2001-03-01	Claudio Sacerdoti...	WebEQ definitely no more used	commit \| commitdiff \| tree \| snapshot
2001-02-22	Stefano Zacchiroli	Changed syntax for 'ls' method:	commit \| commitdiff \| tree \| snapshot
2001-02-22	Luca Padovani	commented processing instructions for Cocoon, we do...	commit \| commitdiff \| tree \| snapshot
2001-02-21	Luca Padovani	now do unescaping of incoming URI	commit \| commitdiff \| tree \| snapshot
2001-02-21	Luca Padovani	added the patch on-the-fly for DTDs, fixed the script...	commit \| commitdiff \| tree \| snapshot
2001-02-20	Andrea Asperti	New stylesheets from content to html.	commit \| commitdiff \| tree \| snapshot
2001-02-17	Stefano Zacchiroli	Added 'ls' method: return a list of uri that begin...	commit \| commitdiff \| tree \| snapshot
2001-02-17	Stefano Zacchiroli	helm_wget subroutine now use LWP module and doesn't...	commit \| commitdiff \| tree \| snapshot
2001-02-15	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-15	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-15	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-15	Luca Padovani	a bug in the .spec.in :-))))	commit \| commitdiff \| tree \| snapshot
2001-02-15	Luca Padovani	new version to upgrade to libxml 2.3.0	commit \| commitdiff \| tree \| snapshot
2001-02-13	Luca Padovani	added support for application-time parameters	commit \| commitdiff \| tree \| snapshot
2001-02-13	Luca Padovani	some improvement for parameters, configuration	commit \| commitdiff \| tree \| snapshot
2001-02-13	Luca Padovani	tmpdir ==> tmp_dir, minor fixes waiting for the stable...	commit \| commitdiff \| tree \| snapshot
2001-02-12	Stefano Zacchiroli	Removed rebuilding of urls_of_uris.db on update user...	commit \| commitdiff \| tree \| snapshot
2001-02-12	Stefano Zacchiroli	modified "update" request handling, now getter rebuild...	commit \| commitdiff \| tree \| snapshot
2001-02-12	Luca Padovani	added encoding	commit \| commitdiff \| tree \| snapshot
2001-02-12	Luca Padovani	version information	commit \| commitdiff \| tree \| snapshot
2001-02-12	Luca Padovani	added comment about missing checks	commit \| commitdiff \| tree \| snapshot
2001-02-09	Luca Padovani	xsltProcessorHTTP.ml : no temp file created,	commit \| commitdiff \| tree \| snapshot
2001-02-08	Luca Padovani	config/style-configuration.xml : a little mistake in...	commit \| commitdiff \| tree \| snapshot
2001-02-08	Luca Padovani	added htlm_cvs_interface.spec	commit \| commitdiff \| tree \| snapshot
2001-02-08	Luca Padovani	A lot of changes to support the new UWOBO stylesheet...	commit \| commitdiff \| tree \| snapshot
2001-02-08	Luca Padovani	styles_dir is now style_dir	commit \| commitdiff \| tree \| snapshot
2001-02-08	Luca Padovani	added style_dir in configuration file	commit \| commitdiff \| tree \| snapshot
2001-02-07	Andrea Asperti	New version of proof.xsl	commit \| commitdiff \| tree \| snapshot
2001-02-06	Luca Padovani	support for dynamic retrieval of style configuration...	commit \| commitdiff \| tree \| snapshot
2001-02-06	Luca Padovani	Support for automatic stylesheet configuration retrieva...	commit \| commitdiff \| tree \| snapshot
2001-02-06	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-02-06	Luca Padovani	added processor_url to configuration file	commit \| commitdiff \| tree \| snapshot
2001-02-06	Claudio Sacerdoti...	No more used and soon no more working due to changes...	commit \| commitdiff \| tree \| snapshot
2001-02-06	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-02-06	Luca Padovani	bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR	commit \| commitdiff \| tree \| snapshot
2001-02-05	Claudio Sacerdoti...	Dynamic patch to transform the URL returned by $d-...	commit \| commitdiff \| tree \| snapshot
2001-02-05	Claudio Sacerdoti...	Done for URLs for DTDs the same thing previously done...	commit \| commitdiff \| tree \| snapshot
2001-02-05	Claudio Sacerdoti...	Relative URL now used again	commit \| commitdiff \| tree \| snapshot
2001-02-05	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-02-05	Claudio Sacerdoti...	When downloading stylesheets, substitutes all relative...	commit \| commitdiff \| tree \| snapshot
2001-02-03	Stefano Zacchiroli	Reindented some parts	commit \| commitdiff \| tree \| snapshot
2001-02-02	Claudio Sacerdoti...	HELM_DTD_DIR now also used	commit \| commitdiff \| tree \| snapshot
2001-02-02	Claudio Sacerdoti...	getxslt added	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-02	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-02-01	Claudio Sacerdoti...	helm_http_getter.spec added	commit \| commitdiff \| tree \| snapshot
2001-01-31	Luca Padovani	mmlextension.xsl : removed extra '>' at the end of...	commit \| commitdiff \| tree \| snapshot
2001-01-31	Stefano Zacchiroli	Added control on some "open" call (with 'or die ...')	commit \| commitdiff \| tree \| snapshot
2001-01-30	Luca Padovani	removed debugging printf	commit \| commitdiff \| tree \| snapshot
2001-01-30	Luca Padovani	xsltProcessor.ml : patched to work with UWOBO	commit \| commitdiff \| tree \| snapshot
2001-01-30	Stefano Zacchiroli	Added mixed cache support through HTTP_GETTER_CACHE_MOD...	commit \| commitdiff \| tree \| snapshot
2001-01-30	Luca Padovani	added support for compressed files	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	configuration improvements	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	some improvements	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	some adjustments to include files	commit \| commitdiff \| tree \| snapshot
2001-01-29	Luca Padovani	last update was a fake update!!!	commit \| commitdiff \| tree \| snapshot
2001-01-26	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-01-25	Andrea Asperti	ex_ind treated similarly to exT_ind.	commit \| commitdiff \| tree \| snapshot
2001-01-25	Andrea Asperti	ExT_ind implemented.	commit \| commitdiff \| tree \| snapshot
2001-01-25	Luca Padovani	added rm *.spec in Makefile.in	commit \| commitdiff \| tree \| snapshot
2001-01-25	Luca Padovani	configuration script improved	commit \| commitdiff \| tree \| snapshot
2001-01-25	Luca Padovani	updated the binding so that it works well with lablgtk...	commit \| commitdiff \| tree \| snapshot
2001-01-24	Stefano Zacchiroli	Added debian dir for debian packaging	commit \| commitdiff \| tree \| snapshot
2001-01-23	Andrea Asperti	- Bug due to overloading of csymbol letin fixed.	commit \| commitdiff \| tree \| snapshot
2001-01-22	Luca Padovani	patched configure.in for Debian (different location...	commit \| commitdiff \| tree \| snapshot
2001-01-22	Luca Padovani	Removed Files:	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom