]> matita.cs.unibo.it Git - helm.git/history - helm/style
Multiple Prod branches did not have their inner-sorts computed properly.
[helm.git] / helm / style /
2002-12-13 Claudio Sacerdoti... Added a special charcount threatment to the 'append...
2002-12-13 Andrea AspertiLast commit before major modifications to do.
2002-12-12 Claudio Sacerdoti... notation "@" for append added
2002-12-11 Claudio Sacerdoti... Unary minus now rendered without parentheses.
2002-12-10 Claudio Sacerdoti... "Rewrite ... with ... by ..." line-breaking handled.
2002-12-10 Claudio Sacerdoti... Ring partially ported to the new library. But I am...
2002-12-10 Claudio Sacerdoti... Bug fixed: beta-redex transformations to LetIn were...
2002-12-10 Claudio Sacerdoti... cut & paste typo fixed
2002-12-10 Claudio Sacerdoti... positive.xsl is now included in headercontent.xsl and...
2002-12-06 Claudio Sacerdoti... instantiate for inductive principles covered
2002-12-06 Andrea Aspertiinstantiate for induction principles covered.
2002-12-06 Claudio Sacerdoti... Bug fixed in binary standard MathML Content operators...
2002-12-06 Claudio Sacerdoti... ...
2002-12-05 Andrea AspertiNotation for if then else.
2002-12-05 Claudio Sacerdoti... Bug fixed: the lhs part of an explicit name substitutio...
2002-12-05 Claudio Sacerdoti... Minor bug fixes in the 'instantiate' element handling.
2002-12-04 Claudio Sacerdoti... Several bug-fixes to the abstparam hell.
2002-12-04 Stefano Zacchiroli- reverted to only one quotation level for xmluri,...
2002-12-04 Claudio Sacerdoti... Variable redefined twice fixed.
2002-12-04 Claudio Sacerdoti... Variable redefined twice fixed.
2002-12-03 Claudio Sacerdoti... Quick implementation of the "inst" csymbol. It can...
2002-12-02 Stefano Zacchiroli- added a level of quoting on xmluri parameter because...
2002-12-02 Andrea Asperti*** empty log message ***
2002-11-26 Claudio Sacerdoti... &CSCbr; replaced with 
 to make libxslt stop compl...
2002-11-21 Claudio Sacerdoti... Some stylesheets are now generated with Di Lena's meta_...
2002-11-18 Claudio Sacerdoti... URLs_or_URIs param added to choose if the xlink:href...
2002-11-13 Matteo SelmiWritten instantiate for content level
2002-11-06 Matteo SelmiModified mode "abstparam" due to changes to LAMBDA...
2002-11-04 Claudio Sacerdoti... Quick fix to view metadata theories again. The case...
2002-11-02 Matteo SelmiCorrected some wrong paths
2002-11-02 Matteo SelmiCorrected some wrong paths
2002-10-31 Claudio Sacerdoti... Metadata DTD changed.
2002-10-31 Claudio Sacerdoti... Porting to the new metadata DTD.
2002-10-30 Matteo SelmiCorrect errors due to a different form of LAMBDA
2002-10-30 Matteo SelmiWritten particular uses of induction and corrected...
2002-10-30 Matteo SelmiCorrect CurrentProof
2002-10-30 Matteo SelmiCorrect CurrentProof
2002-10-24 Matteo SelmiModified some wrong paths
2002-10-24 Matteo SelmiWritten function that produce the variable "ConstantTyp...
2002-10-23 Claudio Sacerdoti... When printing the body of a constant, the type is also...
2002-10-22 Matteo Selmi- removed checkings for objects Definition and Axiom.
2002-10-09 Claudio Sacerdoti... Synchronization with the main branch: proofcheckerURL...
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.
next