]> matita.cs.unibo.it Git - helm.git/history - helm/style
* the main function MUST return 0 to communicate everything was OK
[helm.git] / helm / style /
2003-06-04 Luca Padovani* patched wrong commit (perhaps...)
2002-12-04 Stefano Zacchiroli- reverted to only one quotation level in xmluri, libxm...
2002-12-02 Stefano Zacchiroli- added an additional level of quoting on xmluri argume...
2002-11-25 Pietro Di LenaNow value returned by get_no_params function is a numbe...
2002-11-21 Claudio Sacerdoti... The notational stylesheets from CIC to MathML Content...
2002-10-08 Claudio Sacerdoti... proofcheckerURL param added
2002-06-24 Claudio Sacerdoti... Bug fixed: empty elements did not ask for the size...
2002-06-19 Claudio Sacerdoti... piecewise ==> m:piecewise
2002-06-18 Claudio Sacerdoti... Conversion rules are now correctly handled also for...
2002-06-12 Claudio Sacerdoti... * double inner types (in the sense of Coscoy) handled...
2002-06-11 Claudio Sacerdoti... New: expected types (in the sense of Yann Coscoy) now...
2002-06-10 Irene SchenaModified Files:
2002-06-10 Claudio Sacerdoti... XSLT Version 0.1 ==> 1.0
2002-06-10 Claudio Sacerdoti... XSL Version 0.1 ==> 1.0
2002-06-10 Claudio Sacerdoti... XSL version 0.1 ==> 1.0
2002-06-10 Claudio Sacerdoti... Syntax error.
2002-05-22 Claudio Sacerdoti... Conjectures and Hypotheses inside every conjecture...
2002-05-20 Claudio Sacerdoti... Next commit undone: I committed the version used only...
2002-05-20 Claudio Sacerdoti... Explicit substitutions for metavariables introduced...
2002-05-16 Irene Schena Modified Files:
2002-05-07 Irene SchenaModified Files:
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...
next