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

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

2001-06-29	Claudio Sacerdoti...	First completely working interface for metadata.	commit \| commitdiff \| tree \| snapshot
2001-06-29	Andrea Asperti	":" bug in theory_pres fixed.	commit \| commitdiff \| tree \| snapshot
2001-06-29	Andrea Asperti	small error inside mk_meta_theory.	commit \| commitdiff \| tree \| snapshot
2001-06-29	Andrea Asperti	mk_meta_theory.xsl added	commit \| commitdiff \| tree \| snapshot
2001-06-29	Andrea Asperti	occurrences.xsl added	commit \| commitdiff \| tree \| snapshot
2001-06-29	Claudio Sacerdoti...	ht:OBJECT added;	commit \| commitdiff \| tree \| snapshot
2001-06-29	Claudio Sacerdoti...	ht:OBJECT added	commit \| commitdiff \| tree \| snapshot
2001-06-29	Claudio Sacerdoti...	Total compatibility with Mozilla 9.1 reached with this...	commit \| commitdiff \| tree \| snapshot
2001-06-28	Claudio Sacerdoti...	.cvsignore added	commit \| commitdiff \| tree \| snapshot
2001-06-28	Claudio Sacerdoti...	CIC files are now processed one by one once given the...	commit \| commitdiff \| tree \| snapshot
2001-06-27	Claudio Sacerdoti...	First version of metadata interface.	commit \| commitdiff \| tree \| snapshot
2001-06-27	Claudio Sacerdoti...	Repository created.	commit \| commitdiff \| tree \| snapshot
2001-06-27	Stefano Zacchiroli	added support for new environment variables	commit \| commitdiff \| tree \| snapshot
2001-06-27	Stefano Zacchiroli	# bugfix: rdf tie that proxies rdf_urls_of_uris.db...	commit \| commitdiff \| tree \| snapshot
2001-06-26	Stefano Zacchiroli	added useful tools for perl debugging:	commit \| commitdiff \| tree \| snapshot
2001-06-26	Claudio Sacerdoti...	Format of rdf URIs relaxed	commit \| commitdiff \| tree \| snapshot
2001-06-26	Claudio Sacerdoti...	Version modified	commit \| commitdiff \| tree \| snapshot
2001-06-26	Claudio Sacerdoti...	Now helm:rdf:... is a valid URI.	commit \| commitdiff \| tree \| snapshot
2001-06-26	Stefano Zacchiroli	* added preliminary support for rdf metadata	commit \| commitdiff \| tree \| snapshot
2001-06-26	Claudio Sacerdoti...	UNICODEvsSYMBOL introduced everywhere. (work completed)	commit \| commitdiff \| tree \| snapshot
2001-06-25	Claudio Sacerdoti...	UNICODEvsSYMBOL introduced	commit \| commitdiff \| tree \| snapshot
2001-06-25	Claudio Sacerdoti...	Bug fixed: Compressed was not checked well on control...	commit \| commitdiff \| tree \| snapshot
2001-06-25	Claudio Sacerdoti...	Comment removed because XSLT removed the "end-of-line...	commit \| commitdiff \| tree \| snapshot
2001-06-25	Claudio Sacerdoti...	"Bug" appearing under IE only fixed.	commit \| commitdiff \| tree \| snapshot
2001-06-22	Claudio Sacerdoti...	Many modifications to avoid JavaScript security rules of	commit \| commitdiff \| tree \| snapshot
2001-06-22	Claudio Sacerdoti...	resolve_topurl.xsl added	commit \| commitdiff \| tree \| snapshot
2001-06-22	Claudio Sacerdoti...	Some simplifications (redundant code).	commit \| commitdiff \| tree \| snapshot
2001-06-22	Claudio Sacerdoti...	top.topurl alias topurl alias interfaceURL alias thinte...	commit \| commitdiff \| tree \| snapshot
2001-06-20	Claudio Sacerdoti...	UNICODEvsSYMBOL parameter now added everywhere	commit \| commitdiff \| tree \| snapshot
2001-06-20	Claudio Sacerdoti...	Small bugs fixed:	commit \| commitdiff \| tree \| snapshot
2001-06-20	Claudio Sacerdoti...	UNICODEvsSYMBOL parameter added to select the old	commit \| commitdiff \| tree \| snapshot
2001-06-18	Claudio Sacerdoti...	drop_coercions added	commit \| commitdiff \| tree \| snapshot
2001-06-18	Andrea Asperti	BUG LAMBDA fixed.	commit \| commitdiff \| tree \| snapshot
2001-06-18	Andrea Asperti	drop_coercions.xsl has been added	commit \| commitdiff \| tree \| snapshot
2001-06-11	Claudio Sacerdoti...	Default for patch_dtd modified to "yes".	commit \| commitdiff \| tree \| snapshot
2001-06-04	Claudio Sacerdoti...	xsl:import to cope with new xalan version	commit \| commitdiff \| tree \| snapshot
2001-05-15	Claudio Sacerdoti...	****	commit \| commitdiff \| tree \| snapshot
2001-05-15	Andrea Asperti	Aggiunto lambda.xsl	commit \| commitdiff \| tree \| snapshot
2001-05-15	Andrea Asperti	Lambda notazione.	commit \| commitdiff \| tree \| snapshot
2001-05-10	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-05-09	Claudio Sacerdoti...	URI may now have #	commit \| commitdiff \| tree \| snapshot
2001-05-09	Claudio Sacerdoti...	URIs containing # are now threaded in the "right" way,	commit \| commitdiff \| tree \| snapshot
2001-05-09	Claudio Sacerdoti...	Attribute @name of ENTITY removed.	commit \| commitdiff \| tree \| snapshot
2001-05-08	Claudio Sacerdoti...	Many improvements in theory-rendering.	commit \| commitdiff \| tree \| snapshot
2001-05-07	Claudio Sacerdoti...	Relative anchors (#xxx) should be followed _inside_...	commit \| commitdiff \| tree \| snapshot
2001-05-06	Luca Padovani	minidom.c : fixed memory leak	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	New standard stylesheet genmmlid.xsl added.	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	New version of Igor Rodionov stylesheets.	commit \| commitdiff \| tree \| snapshot
2001-05-04	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	':' are noc quoted. I tried to quote them, but everythi...	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	Stylesheets for (cic\|content\|presentation) theory now...	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	Bug fixed: following a link to an object inside a theor...	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	Bug fixed: following a link to an object inside a theor...	commit \| commitdiff \| tree \| snapshot
2001-05-04	Claudio Sacerdoti...	Links not starting with cic: or theory: are now left...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom