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

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

2001-10-25	Claudio Sacerdoti...	A link to the theory of backward dependencies added...	commit \| commitdiff \| tree
2001-10-25	Claudio Sacerdoti...	The code to create a link to the theory automatically...	commit \| commitdiff \| tree
2001-10-25	Claudio Sacerdoti...	Code clean-up: the code to create the link to the theory...	commit \| commitdiff \| tree
2001-10-25	Claudio Sacerdoti...	The JavaScript code is now defined in on-line/javascript...	commit \| commitdiff \| tree
2001-10-25	Claudio Sacerdoti...	Code obtained from the factorization of makeGraphLinks...	commit \| commitdiff \| tree
2001-10-25	Claudio Sacerdoti...	Oooops. I have exchanged the targets of the links to...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	Code to share with makeGraphLinks.xsl extracted to...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	Code of metadataLib.xsl to share with makeGraphLinks...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	Bug fixed: now links to metadata are created iff at...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	metadataControl and demultiplexMutual merged together...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	metadataLib2.xsl renamed makeGraphLinks.xsl and committed.	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	Stylesheet to add links menus to graphs added.	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	New procedure to create metadata committed and old...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	mk_meta_graph.xsl and mk_dep_graph.xsl factorised using	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	mk_dep_graph reimplemented using the forward-pointers...	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	RDFURI removed because no more unique.	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	Ported to RDF syntax.	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	Porting to RDF syntax.	commit \| commitdiff \| tree
2001-10-24	Claudio Sacerdoti...	The cache now supports different RDF URI schema at...	commit \| commitdiff \| tree
2001-10-18	Claudio Sacerdoti...	Bug fixing: now the link to the graphs produce extended...	commit \| commitdiff \| tree
2001-10-18	Claudio Sacerdoti...	mk_dep_graph.xsl now differentiates the constructors...	commit \| commitdiff \| tree
2001-10-17	Claudio Sacerdoti...	Oooops. After the last commit all the URLs were damaged.	commit \| commitdiff \| tree
2001-10-17	Claudio Sacerdoti...	Bug removed/Feature changed: CIC URIs for inductive...	commit \| commitdiff \| tree
2001-10-16	Claudio Sacerdoti...	Bug related to #xpointer(1/n/m) constructor URI fixed.	commit \| commitdiff \| tree
2001-10-15	Claudio Sacerdoti...	New implementation of the graph stuff: now every hard...	commit \| commitdiff \| tree
2001-10-15	Claudio Sacerdoti...	Help method added	commit \| commitdiff \| tree
2001-10-15	Claudio Sacerdoti...	New implementation of the graphs stuff: now every hard...	commit \| commitdiff \| tree
2001-10-15	Claudio Sacerdoti...	Commented code removed	commit \| commitdiff \| tree
2001-10-12	Claudio Sacerdoti...	New implementation of the graph staff: the logic has...	commit \| commitdiff \| tree
2001-10-12	Claudio Sacerdoti...	New implementation of the graph staff: logic moved	commit \| commitdiff \| tree
2001-10-09	Claudio Sacerdoti...	Whoops. Forgot to open the CIC file in the cic window.	commit \| commitdiff \| tree
2001-10-09	Claudio Sacerdoti...	Menu in JavaScript substituted to multi-area links...	commit \| commitdiff \| tree
2001-10-09	Claudio Sacerdoti...	Code improvement, same functionalities.	commit \| commitdiff \| tree
2001-10-08	Claudio Sacerdoti...	New implementation: now the number of nodes is used...	commit \| commitdiff \| tree
2001-10-08	Claudio Sacerdoti...	cvsignore added	commit \| commitdiff \| tree
2001-10-08	Claudio Sacerdoti...	First release checked in	commit \| commitdiff \| tree
2001-10-08	Claudio Sacerdoti...	New graph implementation: the visit is no more pruned...	commit \| commitdiff \| tree
2001-10-05	Claudio Sacerdoti...	Debian packaging of helmpot-0.0.3	commit \| commitdiff \| tree
2001-10-04	Claudio Sacerdoti...	Many more hard-coded links removed.	commit \| commitdiff \| tree
2001-10-03	Claudio Sacerdoti...	First set of hard-coded URLs removed.	commit \| commitdiff \| tree
2001-10-03	Claudio Sacerdoti...	Absolute path removed thanks to a bug-fixing in Uwobo.	commit \| commitdiff \| tree
2001-10-01	Claudio Sacerdoti...	First implementation of graphs stuff. Working on my...	commit \| commitdiff \| tree
2001-10-01	Claudio Sacerdoti...	New stylesheets for graphs added	commit \| commitdiff \| tree
2001-10-01	Claudio Sacerdoti...	d_c missing	commit \| commitdiff \| tree
2001-10-01	Claudio Sacerdoti...	First implementation of graphs. Working on my notebook...	commit \| commitdiff \| tree
2001-09-14	Claudio Sacerdoti...	* getter.xsl added	commit \| commitdiff \| tree
2001-08-29	Claudio Sacerdoti...	Proof explosion blocked after lambda-abstractions.	commit \| commitdiff \| tree
2001-08-29	Claudio Sacerdoti...	Proof explosion improved (= avoided) for:	commit \| commitdiff \| tree
2001-08-27	Claudio Sacerdoti...	Upgrade to 0.0.2	commit \| commitdiff \| tree
2001-08-23	Claudio Sacerdoti...	* Title added	commit \| commitdiff \| tree
2001-08-23	Claudio Sacerdoti...	onLoad="window.focus()" added to every interface window	commit \| commitdiff \| tree
2001-07-23	Claudio Sacerdoti...	Fixed a problem of Netscape with 'file:///' URL.	commit \| commitdiff \| tree
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
next

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

RSS Atom