]> matita.cs.unibo.it Git - helm.git/history - helm/style
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
patch
[helm.git] / helm / style /
2002-12-13 Claudio Sacerdoti... Added a special charcount threatment to the 'append... tree | commitdiff
2002-12-13 Andrea AspertiLast commit before major modifications to do. tree | commitdiff
2002-12-12 Claudio Sacerdoti... notation "@" for append added tree | commitdiff
2002-12-11 Claudio Sacerdoti... Unary minus now rendered without parentheses. tree | commitdiff
2002-12-10 Claudio Sacerdoti... "Rewrite ... with ... by ..." line-breaking handled. tree | commitdiff
2002-12-10 Claudio Sacerdoti... Ring partially ported to the new library. But I am... tree | commitdiff
2002-12-10 Claudio Sacerdoti... Bug fixed: beta-redex transformations to LetIn were... tree | commitdiff
2002-12-10 Claudio Sacerdoti... cut & paste typo fixed tree | commitdiff
2002-12-10 Claudio Sacerdoti... positive.xsl is now included in headercontent.xsl and... tree | commitdiff
2002-12-06 Claudio Sacerdoti... instantiate for inductive principles covered tree | commitdiff
2002-12-06 Andrea Aspertiinstantiate for induction principles covered. tree | commitdiff
2002-12-06 Claudio Sacerdoti... Bug fixed in binary standard MathML Content operators... tree | commitdiff
2002-12-06 Claudio Sacerdoti... ... tree | commitdiff
2002-12-05 Andrea AspertiNotation for if then else. tree | commitdiff
2002-12-05 Claudio Sacerdoti... Bug fixed: the lhs part of an explicit name substitutio... tree | commitdiff
2002-12-05 Claudio Sacerdoti... Minor bug fixes in the 'instantiate' element handling. tree | commitdiff
2002-12-04 Claudio Sacerdoti... Several bug-fixes to the abstparam hell. tree | commitdiff
2002-12-04 Stefano Zacchiroli- reverted to only one quotation level for xmluri,... tree | commitdiff
2002-12-04 Claudio Sacerdoti... Variable redefined twice fixed. tree | commitdiff
2002-12-04 Claudio Sacerdoti... Variable redefined twice fixed. tree | commitdiff
2002-12-03 Claudio Sacerdoti... Quick implementation of the "inst" csymbol. It can... tree | commitdiff
2002-12-02 Stefano Zacchiroli- added a level of quoting on xmluri parameter because... tree | commitdiff
2002-12-02 Andrea Asperti*** empty log message *** tree | commitdiff
2002-11-26 Claudio Sacerdoti... &CSCbr; replaced with 
 to make libxslt stop compl... tree | commitdiff
2002-11-21 Claudio Sacerdoti... Some stylesheets are now generated with Di Lena's meta_... tree | commitdiff
2002-11-18 Claudio Sacerdoti... URLs_or_URIs param added to choose if the xlink:href... tree | commitdiff
2002-11-13 Matteo SelmiWritten instantiate for content level tree | commitdiff
2002-11-06 Matteo SelmiModified mode "abstparam" due to changes to LAMBDA... tree | commitdiff
2002-11-04 Claudio Sacerdoti... Quick fix to view metadata theories again. The case... tree | commitdiff
2002-11-02 Matteo SelmiCorrected some wrong paths tree | commitdiff
2002-11-02 Matteo SelmiCorrected some wrong paths tree | commitdiff
2002-10-31 Claudio Sacerdoti... Metadata DTD changed. tree | commitdiff
2002-10-31 Claudio Sacerdoti... Porting to the new metadata DTD. tree | commitdiff
2002-10-30 Matteo SelmiCorrect errors due to a different form of LAMBDA tree | commitdiff
2002-10-30 Matteo SelmiWritten particular uses of induction and corrected... tree | commitdiff
2002-10-30 Matteo SelmiCorrect CurrentProof tree | commitdiff
2002-10-30 Matteo SelmiCorrect CurrentProof tree | commitdiff
2002-10-24 Matteo SelmiModified some wrong paths tree | commitdiff
2002-10-24 Matteo SelmiWritten function that produce the variable "ConstantTyp... tree | commitdiff
2002-10-23 Claudio Sacerdoti... When printing the body of a constant, the type is also... tree | commitdiff
2002-10-22 Matteo Selmi- removed checkings for objects Definition and Axiom. tree | commitdiff
2002-10-09 Claudio Sacerdoti... Synchronization with the main branch: proofcheckerURL... tree | commitdiff
2002-06-24 Claudio Sacerdoti... Bug fixed: empty elements did not ask for the size... tree | commitdiff
2002-06-19 Claudio Sacerdoti... piecewise ==> m:piecewise tree | commitdiff
2002-06-18 Claudio Sacerdoti... Conversion rules are now correctly handled also for... tree | commitdiff
2002-06-12 Claudio Sacerdoti... * double inner types (in the sense of Coscoy) handled... tree | commitdiff
2002-06-11 Claudio Sacerdoti... New: expected types (in the sense of Yann Coscoy) now... tree | commitdiff
2002-06-10 Irene SchenaModified Files: tree | commitdiff
2002-06-10 Claudio Sacerdoti... XSLT Version 0.1 ==> 1.0 tree | commitdiff
2002-06-10 Claudio Sacerdoti... XSL Version 0.1 ==> 1.0 tree | commitdiff
2002-06-10 Claudio Sacerdoti... XSL version 0.1 ==> 1.0 tree | commitdiff
2002-06-10 Claudio Sacerdoti... Syntax error. tree | commitdiff
2002-05-22 Claudio Sacerdoti... Conjectures and Hypotheses inside every conjecture... tree | commitdiff
2002-05-20 Claudio Sacerdoti... Next commit undone: I committed the version used only... tree | commitdiff
2002-05-20 Claudio Sacerdoti... Explicit substitutions for metavariables introduced... tree | commitdiff
2002-05-16 Irene Schena Modified Files: tree | commitdiff
2002-05-07 Irene SchenaModified Files: tree | commitdiff
2002-04-18 Irene SchenaModified Files: tree | commitdiff
2002-04-15 Irene SchenaModified Files: tree | commitdiff
2002-04-08 Claudio Sacerdoti... Declaration and Definition renamed to Decl and Def... tree | commitdiff
2002-04-08 Claudio Sacerdoti... Sequent rendering improved: "=======" replaced by a... tree | commitdiff
2002-04-08 Claudio Sacerdoti... 1) Sequent object added. tree | commitdiff
2002-03-06 Irene SchenaModified Files: tree | commitdiff
2002-02-01 Irene Schena--------------------------------------------------... tree | commitdiff
2001-11-21 Claudio Sacerdoti... Underlining of hyperlinks removed. tree | commitdiff
2001-11-16 Claudio Sacerdoti... BUG FIXED: tree | commitdiff
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft. tree | commitdiff
2001-11-12 Claudio Sacerdoti... Required by the new getxslt method implementation. tree | commitdiff
2001-11-12 Claudio Sacerdoti... Bug fixed. The bug used to lead to divergence in certai... tree | commitdiff
2001-11-12 Claudio Sacerdoti... Never really used. Functionality eventually replaced... tree | commitdiff
2001-11-12 Claudio Sacerdoti... Bug fixed: unbound variable. tree | commitdiff
2001-11-09 Claudio Sacerdoti... The body of the variables was not printed. tree | commitdiff
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed to impreve performance. tree | commitdiff
2001-11-09 Claudio Sacerdoti... indent="yes" in xsl:output removed for performance... tree | commitdiff
2001-11-08 Claudio Sacerdoti... The same patch I have applied in the previous commit... tree | commitdiff
2001-11-08 Claudio Sacerdoti... The patch of Irene to allow MathML presentation inside... tree | commitdiff
2001-11-08 Claudio Sacerdoti... Bug (that I introduced in my last commit to solve the... tree | commitdiff
2001-11-05 Andrea AspertiAlgebra notation. tree | commitdiff
2001-11-05 Claudio Sacerdoti... Small bug fixed: tree | commitdiff
2001-10-30 Claudio Sacerdoti... Very simple stylesheet to render Dublin Core Metadata. tree | commitdiff
2001-10-26 Claudio Sacerdoti... Some comments added. tree | commitdiff
2001-10-25 Claudio Sacerdoti... A -> B now means "A depends on B" both in backward... tree | commitdiff
2001-10-24 Claudio Sacerdoti... mk_meta_graph.xsl and mk_dep_graph.xsl factorised using tree | commitdiff
2001-10-24 Claudio Sacerdoti... mk_dep_graph reimplemented using the forward-pointers... tree | commitdiff
2001-10-24 Claudio Sacerdoti... Ported to RDF syntax. tree | commitdiff
2001-10-24 Claudio Sacerdoti... Porting to RDF syntax. tree | commitdiff
2001-10-22 Ferruccio Guiditemplate mk-mml-op-noannot was modified to allow hidden... tree | commitdiff
2001-10-18 Claudio Sacerdoti... mk_dep_graph.xsl now differentiates the constructors... tree | commitdiff
2001-10-17 Claudio Sacerdoti... Bug removed/Feature changed: CIC URIs for inductive... tree | commitdiff
2001-10-16 Claudio Sacerdoti... Bug related to #xpointer(1/n/m) constructor URI fixed. tree | commitdiff
2001-10-15 Claudio Sacerdoti... New implementation of the graph stuff: now every hard... tree | commitdiff
2001-10-08 Claudio Sacerdoti... New graph implementation: the visit is no more pruned... tree | commitdiff
2001-10-04 Claudio Sacerdoti... Many more hard-coded links removed. tree | commitdiff
2001-10-03 Claudio Sacerdoti... First set of hard-coded URLs removed. tree | commitdiff
2001-10-01 Claudio Sacerdoti... First implementation of graphs stuff. Working on my... tree | commitdiff
2001-09-14 Claudio Sacerdoti... * getter.xsl added tree | commitdiff
2001-08-29 Claudio Sacerdoti... Proof explosion blocked after lambda-abstractions. tree | commitdiff
2001-08-29 Claudio Sacerdoti... Proof explosion improved (= avoided) for: tree | commitdiff
2001-08-29 Andrea Asperti1. Fixati alcuni problemi di indentazione con le rewrite. tree | commitdiff
2001-08-28 Andrea AspertiEspansione dinamica delle prove per Mozilla/Galeon. tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.