]> matita.cs.unibo.it Git - helm.git/history - helm/style/content_to_html.xsl
...
[helm.git] / helm / style / content_to_html.xsl
2002-05-20 Claudio Sacerdoti... Explicit substitutions for metavariables introduced...
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft.
2001-11-09 Claudio Sacerdoti... The body of the variables was not printed.
2001-11-05 Andrea AspertiAlgebra notation.
2001-08-29 Claudio Sacerdoti... Proof explosion blocked after lambda-abstractions.
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-07-26 Irene Schena--------------------------------------------------...
2001-07-25 Irene Schena--------------------------------------------------...
2001-07-25 Irene Schena--------------------------------------------------...
2001-07-19 Claudio Sacerdoti... First partial syncronization between the HTML and the...
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-05-15 Andrea AspertiLambda notazione.
2001-05-08 Claudio Sacerdoti... Many improvements in theory-rendering.
2001-04-11 Andrea AspertiIn natural language, non vengono piu' stampati glia...
2001-04-04 Claudio Sacerdoti... Improved rendering for rewriting steps: a little indent...
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 Guidiadded notations for abstact polinomials
2001-04-03 Andrea AspertiComplete management of inductive types.
2001-03-19 Irene SchenaModified Files:
2001-03-16 Claudio Sacerdoti... getciconly ==> getxml
2001-03-16 Claudio Sacerdoti... Annotations now working again (even if in a bit trickie...
2001-03-09 Irene SchenaModified Files:
2001-03-07 Claudio Sacerdoti... processorURL must now already end with a /
2001-03-07 Claudio Sacerdoti... Bug fixed: now propagates informations about inner...
2001-03-07 Andrea Asperti*** empty log message ***
2001-03-06 Claudio Sacerdoti... Now uses the param keys
2001-03-05 Andrea Aspertiadded eq_ind
2001-02-20 Andrea AspertiNew stylesheets from content to html.
2001-02-06 Irene SchenaModified Files:
2001-01-17 Irene SchenaModified Files:
2001-01-15 Luca Padovaniadded LICENSE
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch
2000-10-31 Claudio Sacerdoti... Initial revision