]> matita.cs.unibo.it Git - helm.git/history - helm/style
New data.
[helm.git] / helm / style /
2002-04-18 Irene SchenaModified Files:
2002-04-15 Irene SchenaModified Files:
2002-04-08 Claudio Sacerdoti... Declaration and Definition renamed to Decl and Def...
2002-04-08 Claudio Sacerdoti... Sequent rendering improved: "=======" replaced by a...
2002-04-08 Claudio Sacerdoti... 1) Sequent object added.
2002-03-06 Irene SchenaModified Files:
2002-02-01 Irene Schena--------------------------------------------------...
2001-11-21 Claudio Sacerdoti... Underlining of hyperlinks removed.
2001-11-16 Claudio Sacerdoti... BUG FIXED:
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft.
2001-11-12 Claudio Sacerdoti... Required by the new getxslt method implementation.
2001-11-12 Claudio Sacerdoti... Bug fixed. The bug used to lead to divergence in certai...
2001-11-12 Claudio Sacerdoti... Never really used. Functionality eventually replaced...
2001-11-12 Claudio Sacerdoti... Bug fixed: unbound variable.
2001-11-09 Claudio Sacerdoti... The body of the variables was not printed.
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed to impreve performance.
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed for performance...
2001-11-08 Claudio Sacerdoti... The same patch I have applied in the previous commit...
2001-11-08 Claudio Sacerdoti... The patch of Irene to allow MathML presentation inside...
2001-11-08 Claudio Sacerdoti... Bug (that I introduced in my last commit to solve the...
2001-11-05 Andrea AspertiAlgebra notation.
2001-11-05 Claudio Sacerdoti... Small bug fixed:
2001-10-30 Claudio Sacerdoti... Very simple stylesheet to render Dublin Core Metadata.
2001-10-26 Claudio Sacerdoti... Some comments added.
2001-10-25 Claudio Sacerdoti... A -> B now means "A depends on B" both in backward...
2001-10-24 Claudio Sacerdoti... mk_meta_graph.xsl and mk_dep_graph.xsl factorised using
2001-10-24 Claudio Sacerdoti... mk_dep_graph reimplemented using the forward-pointers...
2001-10-24 Claudio Sacerdoti... Ported to RDF syntax.
2001-10-24 Claudio Sacerdoti... Porting to RDF syntax.
2001-10-22 Ferruccio Guiditemplate mk-mml-op-noannot was modified to allow hidden...
2001-10-18 Claudio Sacerdoti... mk_dep_graph.xsl now differentiates the constructors...
2001-10-17 Claudio Sacerdoti... Bug removed/Feature changed: CIC URIs for inductive...
2001-10-16 Claudio Sacerdoti... Bug related to #xpointer(1/n/m) constructor URI fixed.
2001-10-15 Claudio Sacerdoti... New implementation of the graph stuff: now every hard...
2001-10-08 Claudio Sacerdoti... New graph implementation: the visit is no more pruned...
2001-10-04 Claudio Sacerdoti... Many more hard-coded links removed.
2001-10-03 Claudio Sacerdoti... First set of hard-coded URLs removed.
2001-10-01 Claudio Sacerdoti... First implementation of graphs stuff. Working on my...
2001-09-14 Claudio Sacerdoti... * getter.xsl added
2001-08-29 Claudio Sacerdoti... Proof explosion blocked after lambda-abstractions.
2001-08-29 Claudio Sacerdoti... Proof explosion improved (= avoided) for:
2001-08-29 Andrea Asperti1. Fixati alcuni problemi di indentazione con le rewrite.
2001-08-28 Andrea AspertiEspansione dinamica delle prove per Mozilla/Galeon.
2001-08-23 Claudio Sacerdoti... * Title added
2001-07-27 Irene SchenaModified Files:
2001-07-27 Irene Schena--------------------------------------------------...
2001-07-26 Irene Schena--------------------------------------------------...
2001-07-26 Irene Schena--------------------------------------------------...
2001-07-26 Andrea AspertiBug in zarith notation corrected.
2001-07-25 Irene Schena--------------------------------------------------...
2001-07-25 Irene Schena--------------------------------------------------...
2001-07-25 Andrea Asperti"Recursive" notation for Z.
2001-07-24 Irene Schena--------------------------------------------------...
2001-07-20 Claudio Sacerdoti... First version using maction/toggle to navigate proofs.
2001-07-19 Claudio Sacerdoti... First partial syncronization between the HTML and the...
2001-07-16 Claudio Sacerdoti... Two parameters used but not declared. Fixed.
2001-07-05 Andrea AspertiNotation for ZArith (inside arith.xsl) added.
2001-06-29 Claudio Sacerdoti... topurl parameter now passed around
2001-06-29 Andrea Asperti":" bug in theory_pres fixed.
2001-06-29 Andrea Aspertismall error inside mk_meta_theory.
2001-06-29 Andrea Aspertimk_meta_theory.xsl added
2001-06-29 Andrea Aspertioccurrences.xsl added
2001-06-29 Claudio Sacerdoti... ht:OBJECT added
2001-06-26 Claudio Sacerdoti... UNICODEvsSYMBOL introduced everywhere. (work completed)
2001-06-25 Claudio Sacerdoti... UNICODEvsSYMBOL introduced
2001-06-20 Claudio Sacerdoti... Small bugs fixed:
2001-06-20 Claudio Sacerdoti... UNICODEvsSYMBOL parameter added to select the old
2001-06-18 Andrea AspertiBUG LAMBDA fixed.
2001-06-18 Andrea Aspertidrop_coercions.xsl has been added
2001-06-04 Claudio Sacerdoti... xsl:import to cope with new xalan version
2001-05-15 Andrea AspertiAggiunto lambda.xsl
2001-05-15 Andrea AspertiLambda notazione.
2001-05-09 Claudio Sacerdoti... URIs containing # are now threaded in the "right" way,
2001-05-09 Claudio Sacerdoti... Attribute @name of ENTITY removed.
2001-05-08 Claudio Sacerdoti... Many improvements in theory-rendering.
2001-05-07 Claudio Sacerdoti... Relative anchors (#xxx) should be followed _inside_...
2001-05-04 Irene SchenaModified Files:
2001-05-04 Claudio Sacerdoti... ':' are noc quoted. I tried to quote them, but everythi...
2001-05-04 Claudio Sacerdoti... Stylesheets for (cic|content|presentation) theory now...
2001-05-04 Claudio Sacerdoti... Bug fixed: following a link to an object inside a theor...
2001-05-04 Claudio Sacerdoti... Links not starting with cic: or theory: are now left...
2001-05-03 Irene SchenaTheory level DTD changed and .theory.xml files exported...
2001-04-11 Claudio Sacerdoti... Control frame added to CIC window
2001-04-11 Andrea AspertiIn natural language, non vengono piu' stampati glia...
2001-04-09 Irene SchenaModified Files:
2001-04-05 Ferruccio Guidicontentlib.xsl improved, now handles eq eqT
2001-04-05 Andrea AspertiBug nat_double_ind solved.
2001-04-04 Claudio Sacerdoti... Improved rendering for rewriting steps: a little indent...
2001-04-04 Claudio Sacerdoti... pure ==> proof_transform for the "by" part of rewriting
2001-04-04 Claudio Sacerdoti... pure ==> noannot in CASE's branches
2001-04-04 Claudio Sacerdoti... Big bug: & was not quoted in the URL for xmluri (that...
2001-04-04 Ferruccio Guidifonts for lambda prod and forall enlarged
2001-04-04 Ferruccio Guidicharacters in symbol font unified in size
2001-04-03 Ferruccio Guidiabstract polinomials
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials
2001-04-03 Andrea Asperti*** empty log message ***
2001-04-03 Andrea AspertiComplete management of inductive types.
2001-03-22 Irene SchenaModified Files:
2001-03-21 Claudio Sacerdoti... headercontent.xsl added to have all the notational...
2001-03-21 Ferruccio Guidimore notations added
next