]> matita.cs.unibo.it Git - helm.git/history - helm/style
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* the main function MUST return 0 to communicate everything was OK
[helm.git] / helm / style /
2003-06-04 Luca Padovani* patched wrong commit (perhaps...) tree | commitdiff
2002-12-04 Stefano Zacchiroli- reverted to only one quotation level in xmluri, libxm... tree | commitdiff
2002-12-02 Stefano Zacchiroli- added an additional level of quoting on xmluri argume... tree | commitdiff
2002-11-25 Pietro Di LenaNow value returned by get_no_params function is a numbe... tree | commitdiff
2002-11-21 Claudio Sacerdoti... The notational stylesheets from CIC to MathML Content... tree | commitdiff
2002-10-08 Claudio Sacerdoti... proofcheckerURL param added 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
2001-08-23 Claudio Sacerdoti... * Title added tree | commitdiff
2001-07-27 Irene SchenaModified Files: tree | commitdiff
2001-07-27 Irene Schena--------------------------------------------------... tree | commitdiff
2001-07-26 Irene Schena--------------------------------------------------... tree | commitdiff
2001-07-26 Irene Schena--------------------------------------------------... tree | commitdiff
2001-07-26 Andrea AspertiBug in zarith notation corrected. tree | commitdiff
2001-07-25 Irene Schena--------------------------------------------------... tree | commitdiff
2001-07-25 Irene Schena--------------------------------------------------... tree | commitdiff
2001-07-25 Andrea Asperti"Recursive" notation for Z. tree | commitdiff
2001-07-24 Irene Schena--------------------------------------------------... tree | commitdiff
2001-07-20 Claudio Sacerdoti... First version using maction/toggle to navigate proofs. tree | commitdiff
2001-07-19 Claudio Sacerdoti... First partial syncronization between the HTML and the... tree | commitdiff
2001-07-16 Claudio Sacerdoti... Two parameters used but not declared. Fixed. tree | commitdiff
2001-07-05 Andrea AspertiNotation for ZArith (inside arith.xsl) added. tree | commitdiff
2001-06-29 Claudio Sacerdoti... topurl parameter now passed around tree | commitdiff
2001-06-29 Andrea Asperti":" bug in theory_pres fixed. tree | commitdiff
2001-06-29 Andrea Aspertismall error inside mk_meta_theory. tree | commitdiff
2001-06-29 Andrea Aspertimk_meta_theory.xsl added tree | commitdiff
2001-06-29 Andrea Aspertioccurrences.xsl added tree | commitdiff
2001-06-29 Claudio Sacerdoti... ht:OBJECT added tree | commitdiff
2001-06-26 Claudio Sacerdoti... UNICODEvsSYMBOL introduced everywhere. (work completed) tree | commitdiff
2001-06-25 Claudio Sacerdoti... UNICODEvsSYMBOL introduced tree | commitdiff
2001-06-20 Claudio Sacerdoti... Small bugs fixed: tree | commitdiff
2001-06-20 Claudio Sacerdoti... UNICODEvsSYMBOL parameter added to select the old tree | commitdiff
2001-06-18 Andrea AspertiBUG LAMBDA fixed. tree | commitdiff
2001-06-18 Andrea Aspertidrop_coercions.xsl has been added tree | commitdiff
2001-06-04 Claudio Sacerdoti... xsl:import to cope with new xalan version tree | commitdiff
2001-05-15 Andrea AspertiAggiunto lambda.xsl tree | commitdiff
2001-05-15 Andrea AspertiLambda notazione. tree | commitdiff
2001-05-09 Claudio Sacerdoti... URIs containing # are now threaded in the "right" way, tree | commitdiff
2001-05-09 Claudio Sacerdoti... Attribute @name of ENTITY removed. tree | commitdiff
2001-05-08 Claudio Sacerdoti... Many improvements in theory-rendering. tree | commitdiff
2001-05-07 Claudio Sacerdoti... Relative anchors (#xxx) should be followed _inside_... tree | commitdiff
2001-05-04 Irene SchenaModified Files: tree | commitdiff
2001-05-04 Claudio Sacerdoti... ':' are noc quoted. I tried to quote them, but everythi... tree | commitdiff
2001-05-04 Claudio Sacerdoti... Stylesheets for (cic|content|presentation) theory now... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.