]> matita.cs.unibo.it Git - helm.git/history - helm/style
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
rendering of "meet" patched
[helm.git] / helm / style /
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
2000-12-04 Claudio Sacerdoti... xref and href added to m:ci containing presentation... tree | commitdiff
2000-12-04 Claudio Sacerdoti... not simbol is now the logical one tree | commitdiff
2000-12-04 Claudio Sacerdoti... Update to V7 after V6-2 tag creationg tree | commitdiff
2000-11-29 Irene SchenaModified Files: tree | commitdiff
2000-11-29 Irene SchenaModified Files: tree | commitdiff
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch tree | commitdiff
2000-11-22 Irene SchenaModified Files: tree | commitdiff
2000-11-22 Claudio Sacerdoti... Some bug fixed tree | commitdiff
2000-11-22 Claudio Sacerdoti... Inserted msqrt to mark where to do some modifications tree | commitdiff
2000-11-17 Claudio Sacerdoti... Nothing important tree | commitdiff
2000-11-17 Claudio Sacerdoti... I don't know tree | commitdiff
2000-11-17 Irene SchenaModified Files: tree | commitdiff
2000-11-03 Claudio Sacerdoti... Temporary patch for threads and and_ind, or_ind, ... tree | commitdiff
2000-11-03 Claudio Sacerdoti... Set notation now working again tree | commitdiff
2000-11-03 Claudio Sacerdoti... FIX body bug fixed tree | commitdiff
2000-10-31 Claudio Sacerdoti... Added style before natural language synthesis tree | commitdiff
2000-10-31 Claudio Sacerdoti... Initial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.