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

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

2001-07-20	Claudio Sacerdoti...	First version using maction/toggle to navigate proofs.	commit \| commitdiff \| tree
2001-07-20	Claudio Sacerdoti...	Added explodeall parameter (default="false") to generate...	commit \| commitdiff \| tree
2001-07-20	Claudio Sacerdoti...	Metadata were broken in MathML presentation mode.	commit \| commitdiff \| tree
2001-07-19	Claudio Sacerdoti...	First partial syncronization between the HTML and the...	commit \| commitdiff \| tree
2001-07-16	Claudio Sacerdoti...	Two parameters used but not declared. Fixed.	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	drop_coercion (d_c) inserted in every stylesheet chain	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	mk_meta_theory.xsl added	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	Makefile fixed (too many parameters on command line);	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	topurl parameter now passed around	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	First completely working interface for metadata.	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	ht:OBJECT added;	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	ht:OBJECT added	commit \| commitdiff \| tree
2001-06-29	Claudio Sacerdoti...	Total compatibility with Mozilla 9.1 reached with this...	commit \| commitdiff \| tree
2001-06-28	Claudio Sacerdoti...	.cvsignore added	commit \| commitdiff \| tree
2001-06-28	Claudio Sacerdoti...	CIC files are now processed one by one once given the...	commit \| commitdiff \| tree
2001-06-27	Claudio Sacerdoti...	First version of metadata interface.	commit \| commitdiff \| tree
2001-06-27	Claudio Sacerdoti...	Repository created.	commit \| commitdiff \| tree
2001-06-26	Claudio Sacerdoti...	Format of rdf URIs relaxed	commit \| commitdiff \| tree
2001-06-26	Claudio Sacerdoti...	Version modified	commit \| commitdiff \| tree
2001-06-26	Claudio Sacerdoti...	Now helm:rdf:... is a valid URI.	commit \| commitdiff \| tree
2001-06-26	Claudio Sacerdoti...	UNICODEvsSYMBOL introduced everywhere. (work completed)	commit \| commitdiff \| tree
2001-06-25	Claudio Sacerdoti...	UNICODEvsSYMBOL introduced	commit \| commitdiff \| tree
2001-06-25	Claudio Sacerdoti...	Bug fixed: Compressed was not checked well on control...	commit \| commitdiff \| tree
2001-06-25	Claudio Sacerdoti...	Comment removed because XSLT removed the "end-of-line...	commit \| commitdiff \| tree
2001-06-25	Claudio Sacerdoti...	"Bug" appearing under IE only fixed.	commit \| commitdiff \| tree
2001-06-22	Claudio Sacerdoti...	Many modifications to avoid JavaScript security rules of	commit \| commitdiff \| tree
2001-06-22	Claudio Sacerdoti...	resolve_topurl.xsl added	commit \| commitdiff \| tree
2001-06-22	Claudio Sacerdoti...	Some simplifications (redundant code).	commit \| commitdiff \| tree
2001-06-22	Claudio Sacerdoti...	top.topurl alias topurl alias interfaceURL alias thinterface...	commit \| commitdiff \| tree
2001-06-20	Claudio Sacerdoti...	UNICODEvsSYMBOL parameter now added everywhere	commit \| commitdiff \| tree
2001-06-20	Claudio Sacerdoti...	Small bugs fixed:	commit \| commitdiff \| tree
2001-06-20	Claudio Sacerdoti...	UNICODEvsSYMBOL parameter added to select the old	commit \| commitdiff \| tree
2001-06-18	Claudio Sacerdoti...	drop_coercions added	commit \| commitdiff \| tree
2001-06-11	Claudio Sacerdoti...	Default for patch_dtd modified to "yes".	commit \| commitdiff \| tree
2001-06-04	Claudio Sacerdoti...	xsl:import to cope with new xalan version	commit \| commitdiff \| tree
2001-05-15	Claudio Sacerdoti...	****	commit \| commitdiff \| tree
2001-05-09	Claudio Sacerdoti...	URI may now have #	commit \| commitdiff \| tree
2001-05-09	Claudio Sacerdoti...	URIs containing # are now threaded in the "right" way,	commit \| commitdiff \| tree
2001-05-09	Claudio Sacerdoti...	Attribute @name of ENTITY removed.	commit \| commitdiff \| tree
2001-05-08	Claudio Sacerdoti...	Many improvements in theory-rendering.	commit \| commitdiff \| tree
2001-05-07	Claudio Sacerdoti...	Relative anchors (#xxx) should be followed _inside_...	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	New standard stylesheet genmmlid.xsl added.	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	New version of Igor Rodionov stylesheets.	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	':' are noc quoted. I tried to quote them, but everything...	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	Stylesheets for (cic\|content\|presentation) theory now...	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	Bug fixed: following a link to an object inside a theory...	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	Bug fixed: following a link to an object inside a theory...	commit \| commitdiff \| tree
2001-05-04	Claudio Sacerdoti...	Links not starting with cic: or theory: are now left...	commit \| commitdiff \| tree
2001-05-02	Claudio Sacerdoti...	.cvsignore files missing	commit \| commitdiff \| tree
2001-05-02	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2001-04-19	Claudio Sacerdoti...	register method added	commit \| commitdiff \| tree
2001-04-18	Claudio Sacerdoti...	annotationHelper now working again. A control frame...	commit \| commitdiff \| tree
2001-04-18	Claudio Sacerdoti...	WARNING: NOT COMPILING COMMIT	commit \| commitdiff \| tree
2001-04-12	Claudio Sacerdoti...	panel ==> uwobo-panel	commit \| commitdiff \| tree
2001-04-11	Claudio Sacerdoti...	Content-Cache, Expires and Pragma added for non-error...	commit \| commitdiff \| tree
2001-04-11	Claudio Sacerdoti...	Control frame added to CIC window	commit \| commitdiff \| tree
2001-04-11	Claudio Sacerdoti...	Control panel added to CIC window	commit \| commitdiff \| tree
2001-04-11	Claudio Sacerdoti...	Unstable commit: just before removing next/prev functionalities	commit \| commitdiff \| tree
2001-04-06	Claudio Sacerdoti...	Added URL quoting to quote also "," (required by Netscape...	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	Bug fixed: the result was declared as gzipped even...	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	Improved rendering for rewriting steps: a little indentation...	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	pure ==> proof_transform for the "by" part of rewriting	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	pure ==> noannot in CASE's branches	commit \| commitdiff \| tree
2001-04-04	Claudio Sacerdoti...	Big bug: & was not quoted in the URL for xmluri (that...	commit \| commitdiff \| tree
2001-04-03	Claudio Sacerdoti...	Line morally belonging to lablgtk/*.h now is there...	commit \| commitdiff \| tree
2001-04-03	Claudio Sacerdoti...	Updated to lablgtk 1.2 and ocaml-3.01.	commit \| commitdiff \| tree
2001-03-22	Claudio Sacerdoti...	Now links are followed even in theory + MathML Presentation	commit \| commitdiff \| tree
2001-03-21	Claudio Sacerdoti...	headercontent.xsl added to have all the notational...	commit \| commitdiff \| tree
2001-03-21	Claudio Sacerdoti...	patched_dtd => patch_dtd	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	Changes in raw mode interface	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	Now uses the new stylesheets waterfall	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	error: "iso8859-1" ==> "'iso8859-1'"	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	makeURL() and related variables and parameters moved...	commit \| commitdiff \| tree
2001-03-19	Claudio Sacerdoti...	getciconly ==> getxml	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	getciconly ==> getxml	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Annotations now working again (even if in a bit trickier...	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Raw mode now really considers compressed/not compressed	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Method get of the getter no more used. Replaced by...	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Files with annotations available now use a different...	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	Used for files where annotations are availables	commit \| commitdiff \| tree
2001-03-16	Claudio Sacerdoti...	annotations now taken in account (as was for naturalLanguage)	commit \| commitdiff \| tree
2001-03-14	Claudio Sacerdoti...	Syntax error + new indenting	commit \| commitdiff \| tree
2001-03-14	Claudio Sacerdoti...	Configuration on-line now pass the parameters	commit \| commitdiff \| tree
2001-03-12	Claudio Sacerdoti...	Last update before dismission	commit \| commitdiff \| tree
2001-03-07	Claudio Sacerdoti...	processorURL must now already end with a /	commit \| commitdiff \| tree
2001-03-07	Claudio Sacerdoti...	Now the on-line interface can use a Getter and an UWOBO...	commit \| commitdiff \| tree
2001-03-07	Claudio Sacerdoti...	Bug fixed: now propagates informations about inner...	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	getter flags considered	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	library3 ==> javascript	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	New on-line interface	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	New online interface	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	The .types files are now read directly by the stylesheets.	commit \| commitdiff \| tree
2001-03-06	Claudio Sacerdoti...	Now uses the param keys	commit \| commitdiff \| tree
2001-03-01	Claudio Sacerdoti...	WebEQ definitely no more used	commit \| commitdiff \| tree
2001-02-06	Claudio Sacerdoti...	No more used and soon no more working due to changes...	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	Dynamic patch to transform the URL returned by $d-...	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	Done for URLs for DTDs the same thing previously done...	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	Relative URL now used again	commit \| commitdiff \| tree
2001-02-05	Claudio Sacerdoti...	When downloading stylesheets, substitutes all relative...	commit \| commitdiff \| tree
2001-02-02	Claudio Sacerdoti...	HELM_DTD_DIR now also used	commit \| commitdiff \| tree
next

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

RSS Atom