]> matita.cs.unibo.it Git - helm.git/history - helm/style
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added sort CProp
[helm.git] / helm / style /
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
2001-05-04 Claudio Sacerdoti... Bug fixed: following a link to an object inside a theor... tree | commitdiff
2001-05-04 Claudio Sacerdoti... Links not starting with cic: or theory: are now left... tree | commitdiff
2001-05-03 Irene SchenaTheory level DTD changed and .theory.xml files exported... tree | commitdiff
2001-04-11 Claudio Sacerdoti... Control frame added to CIC window tree | commitdiff
2001-04-11 Andrea AspertiIn natural language, non vengono piu' stampati glia... tree | commitdiff
2001-04-09 Irene SchenaModified Files: tree | commitdiff
2001-04-05 Ferruccio Guidicontentlib.xsl improved, now handles eq eqT tree | commitdiff
2001-04-05 Andrea AspertiBug nat_double_ind solved. tree | commitdiff
2001-04-04 Claudio Sacerdoti... Improved rendering for rewriting steps: a little indent... tree | commitdiff
2001-04-04 Claudio Sacerdoti... pure ==> proof_transform for the "by" part of rewriting tree | commitdiff
2001-04-04 Claudio Sacerdoti... pure ==> noannot in CASE's branches tree | commitdiff
2001-04-04 Claudio Sacerdoti... Big bug: & was not quoted in the URL for xmluri (that... tree | commitdiff
2001-04-04 Ferruccio Guidifonts for lambda prod and forall enlarged tree | commitdiff
2001-04-04 Ferruccio Guidicharacters in symbol font unified in size tree | commitdiff
2001-04-03 Ferruccio Guidiabstract polinomials tree | commitdiff
2001-04-03 Ferruccio Guidiadded notations for abstact polinomials tree | commitdiff
2001-04-03 Andrea Asperti*** empty log message *** tree | commitdiff
2001-04-03 Andrea AspertiComplete management of inductive types. tree | commitdiff
2001-03-22 Irene SchenaModified Files: tree | commitdiff
2001-03-21 Claudio Sacerdoti... headercontent.xsl added to have all the notational... tree | commitdiff
2001-03-21 Ferruccio Guidimore notations added tree | commitdiff
2001-03-20 Ferruccio Guidibasic notations for arithmetics tree | commitdiff
2001-03-20 Ferruccio Guidiadded notation for arithmetics tree | commitdiff
2001-03-19 Claudio Sacerdoti... error: "iso8859-1" ==> "'iso8859-1'" tree | commitdiff
2001-03-19 Claudio Sacerdoti... makeURL() and related variables and parameters moved... tree | commitdiff
2001-03-19 Irene SchenaModified Files: tree | commitdiff
2001-03-19 Irene SchenaModified Files: tree | commitdiff
2001-03-19 Irene SchenaModified Files: tree | commitdiff
2001-03-19 Claudio Sacerdoti... getciconly ==> getxml tree | commitdiff
2001-03-19 Irene SchenaModified Files: tree | commitdiff
2001-03-16 Claudio Sacerdoti... getciconly ==> getxml tree | commitdiff
2001-03-16 Claudio Sacerdoti... Annotations now working again (even if in a bit trickie... tree | commitdiff
2001-03-09 Irene SchenaModified Files: tree | commitdiff
2001-03-09 Irene SchenaModified Files: tree | commitdiff
2001-03-07 Claudio Sacerdoti... processorURL must now already end with a / tree | commitdiff
2001-03-07 Claudio Sacerdoti... Bug fixed: now propagates informations about inner... tree | commitdiff
2001-03-07 Andrea Asperti*** empty log message *** tree | commitdiff
2001-03-06 Claudio Sacerdoti... The .types files are now read directly by the stylesheets. tree | commitdiff
2001-03-06 Claudio Sacerdoti... Now uses the param keys tree | commitdiff
2001-03-05 Andrea Aspertiadded eq_ind tree | commitdiff
2001-02-22 Luca Padovanicommented processing instructions for Cocoon, we do... tree | commitdiff
2001-02-20 Andrea AspertiNew stylesheets from content to html. tree | commitdiff
2001-02-13 Luca Padovaniadded support for application-time parameters tree | commitdiff
2001-02-12 Luca Padovaniadded encoding tree | commitdiff
2001-02-08 Luca Padovaniconfig/style-configuration.xml : a little mistake in... tree | commitdiff
2001-02-07 Andrea AspertiNew version of proof.xsl tree | commitdiff
2001-02-06 Luca PadovaniInitial revision tree | commitdiff
2001-02-06 Claudio Sacerdoti... No more used and soon no more working due to changes... tree | commitdiff
2001-02-06 Irene SchenaModified Files: tree | commitdiff
2001-02-05 Irene SchenaModified Files: tree | commitdiff
2001-01-31 Luca Padovanimmlextension.xsl : removed extra '>' at the end of... tree | commitdiff
2001-01-26 Irene SchenaModified Files: tree | commitdiff
2001-01-25 Andrea Aspertiex_ind treated similarly to exT_ind. tree | commitdiff
2001-01-25 Andrea AspertiExT_ind implemented. tree | commitdiff
2001-01-23 Andrea Asperti- Bug due to overloading of csymbol letin fixed. tree | commitdiff
2001-01-17 Irene SchenaModified Files: tree | commitdiff
2001-01-15 Luca Padovaniadded LICENSE tree | commitdiff
2000-12-18 Claudio Sacerdoti... Performance improvements using the sort attribute tree | commitdiff
2000-12-18 Claudio Sacerdoti... Some spaces at the content level eliminated. tree | commitdiff
2000-12-18 Claudio Sacerdoti... Performance improvements and bug fixed tree | commitdiff
2000-12-14 Claudio Sacerdoti... Bug fixed tree | commitdiff
2000-12-14 Claudio Sacerdoti... Some optimizations using the "sort" attribute. tree | commitdiff
2000-12-07 Claudio Sacerdoti... forall csymbol added tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.