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

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

2001-05-03	Irene Schena	Theory level DTD changed and .theory.xml files exported...	commit \| commitdiff \| tree \| snapshot
2001-05-02	Claudio Sacerdoti...	.cvsignore files missing	commit \| commitdiff \| tree \| snapshot
2001-05-02	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-04-19	Claudio Sacerdoti...	register method added	commit \| commitdiff \| tree \| snapshot
2001-04-18	Claudio Sacerdoti...	annotationHelper now working again. A control frame...	commit \| commitdiff \| tree \| snapshot
2001-04-18	Claudio Sacerdoti...	WARNING: NOT COMPILING COMMIT	commit \| commitdiff \| tree \| snapshot
2001-04-12	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-04-12	Luca Padovani	Some adjustments in the licenses	commit \| commitdiff \| tree \| snapshot
2001-04-12	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-04-12	Claudio Sacerdoti...	panel ==> uwobo-panel	commit \| commitdiff \| tree \| snapshot
2001-04-11	Claudio Sacerdoti...	Content-Cache, Expires and Pragma added for non-error...	commit \| commitdiff \| tree \| snapshot
2001-04-11	Claudio Sacerdoti...	Control frame added to CIC window	commit \| commitdiff \| tree \| snapshot
2001-04-11	Andrea Asperti	In natural language, non vengono piu' stampati glia...	commit \| commitdiff \| tree \| snapshot
2001-04-11	Claudio Sacerdoti...	Control panel added to CIC window	commit \| commitdiff \| tree \| snapshot
2001-04-11	Claudio Sacerdoti...	Unstable commit: just before removing next/prev functio...	commit \| commitdiff \| tree \| snapshot
2001-04-09	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-04-06	Luca Padovani	control.html, control.js: now commands replace the...	commit \| commitdiff \| tree \| snapshot
2001-04-06	Claudio Sacerdoti...	Added URL quoting to quote also "," (required by Netsca...	commit \| commitdiff \| tree \| snapshot
2001-04-06	Luca Padovani	Initial revision	commit \| commitdiff \| tree \| snapshot
2001-04-05	Ferruccio Guidi	contentlib.xsl improved, now handles eq eqT	commit \| commitdiff \| tree \| snapshot
2001-04-05	Andrea Asperti	Bug nat_double_ind solved.	commit \| commitdiff \| tree \| snapshot
2001-04-04	Claudio Sacerdoti...	Bug fixed: the result was declared as gzipped even...	commit \| commitdiff \| tree \| snapshot
2001-04-04	Claudio Sacerdoti...	Improved rendering for rewriting steps: a little indent...	commit \| commitdiff \| tree \| snapshot
2001-04-04	Claudio Sacerdoti...	pure ==> proof_transform for the "by" part of rewriting	commit \| commitdiff \| tree \| snapshot
2001-04-04	Claudio Sacerdoti...	pure ==> noannot in CASE's branches	commit \| commitdiff \| tree \| snapshot
2001-04-04	Claudio Sacerdoti...	Big bug: & was not quoted in the URL for xmluri (that...	commit \| commitdiff \| tree \| snapshot
2001-04-04	Ferruccio Guidi	fonts for lambda prod and forall enlarged	commit \| commitdiff \| tree \| snapshot
2001-04-04	Ferruccio Guidi	characters in symbol font unified in size	commit \| commitdiff \| tree \| snapshot
2001-04-03	Ferruccio Guidi	abstract polinomials	commit \| commitdiff \| tree \| snapshot
2001-04-03	Ferruccio Guidi	added notations for abstact polinomials	commit \| commitdiff \| tree \| snapshot
2001-04-03	Luca Padovani	added support for HELM_GETTER_URL environment variable	commit \| commitdiff \| tree \| snapshot
2001-04-03	Luca Padovani	first steps towards new interface with UWOBo and new...	commit \| commitdiff \| tree \| snapshot
2001-04-03	Luca Padovani	added gmon.out	commit \| commitdiff \| tree \| snapshot
2001-04-03	Andrea Asperti	* empty log message *	commit \| commitdiff \| tree \| snapshot
2001-04-03	Claudio Sacerdoti...	Line morally belonging to lablgtk/*.h now is there...	commit \| commitdiff \| tree \| snapshot
2001-04-03	Andrea Asperti	Complete management of inductive types.	commit \| commitdiff \| tree \| snapshot
2001-04-03	Claudio Sacerdoti...	Updated to lablgtk 1.2 and ocaml-3.01.	commit \| commitdiff \| tree \| snapshot
2001-03-22	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-22	Claudio Sacerdoti...	Now links are followed even in theory + MathML Presentation	commit \| commitdiff \| tree \| snapshot
2001-03-21	Claudio Sacerdoti...	headercontent.xsl added to have all the notational...	commit \| commitdiff \| tree \| snapshot
2001-03-21	Claudio Sacerdoti...	patched_dtd => patch_dtd	commit \| commitdiff \| tree \| snapshot
2001-03-21	Ferruccio Guidi	more notations added	commit \| commitdiff \| tree \| snapshot
2001-03-20	Stefano Zacchiroli	- added support for file ls (i.e. you can use a baseuri...	commit \| commitdiff \| tree \| snapshot
2001-03-20	Ferruccio Guidi	basic notations for arithmetics	commit \| commitdiff \| tree \| snapshot
2001-03-20	Ferruccio Guidi	added notation for arithmetics	commit \| commitdiff \| tree \| snapshot
2001-03-19	Claudio Sacerdoti...	Changes in raw mode interface	commit \| commitdiff \| tree \| snapshot
2001-03-19	Claudio Sacerdoti...	Now uses the new stylesheets waterfall	commit \| commitdiff \| tree \| snapshot
2001-03-19	Claudio Sacerdoti...	error: "iso8859-1" ==> "'iso8859-1'"	commit \| commitdiff \| tree \| snapshot
2001-03-19	Claudio Sacerdoti...	makeURL() and related variables and parameters moved...	commit \| commitdiff \| tree \| snapshot
2001-03-19	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-19	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-19	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-19	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-19	Claudio Sacerdoti...	getciconly ==> getxml	commit \| commitdiff \| tree \| snapshot
2001-03-19	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-03-17	Stefano Zacchiroli	Added support for CGI handling, still remain some probl...	commit \| commitdiff \| tree \| snapshot
2001-03-16	Claudio Sacerdoti...	getciconly ==> getxml	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	- renamed /getciconly in /getxml	commit \| commitdiff \| tree \| snapshot
2001-03-16	Claudio Sacerdoti...	Annotations now working again (even if in a bit trickie...	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	Changed default content type from "text/plain" to ...	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	Various changes:	commit \| commitdiff \| tree \| snapshot
2001-03-16	Claudio Sacerdoti...	Raw mode now really considers compressed/not compressed	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	Added "format" support to /getciconly method.	commit \| commitdiff \| tree \| snapshot
2001-03-16	Claudio Sacerdoti...	Method get of the getter no more used. Replaced by...	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	ehm ... no comment	commit \| commitdiff \| tree \| snapshot
2001-03-16	Stefano Zacchiroli	Fixed a bug in the case cachemode=gzipped, resourcetype...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom