]> matita.cs.unibo.it Git - helm.git/history - helm/style/proofs.xsl
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / style / proofs.xsl
2004-01-19 Claudio Sacerdoti... No longer in use. The official repository for the commit | commitdiff
2004-01-19 Claudio Sacerdoti... Branch V7_3_new_exportation merged. commit | commitdiff
2002-06-18 Claudio Sacerdoti... Conversion rules are now correctly handled also for... commit | commitdiff
2002-06-11 Claudio Sacerdoti... New: expected types (in the sense of Yann Coscoy) now... commit | commitdiff
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft. commit | commitdiff
2001-11-12 Claudio Sacerdoti... Bug fixed. The bug used to lead to divergence in certai... commit | commitdiff
2001-11-05 Andrea AspertiAlgebra notation. commit | commitdiff
2001-09-14 Claudio Sacerdoti... * getter.xsl added commit | commitdiff
2001-08-29 Andrea Asperti1. Fixati alcuni problemi di indentazione con le rewrite. commit | commitdiff
2001-07-25 Andrea Asperti"Recursive" notation for Z. commit | commitdiff
2001-07-24 Irene Schena--------------------------------------------------... commit | commitdiff
2001-07-19 Claudio Sacerdoti... First partial syncronization between the HTML and the... commit | commitdiff
2001-06-20 Claudio Sacerdoti... UNICODEvsSYMBOL parameter added to select the old commit | commitdiff
2001-04-11 Andrea AspertiIn natural language, non vengono piu' stampati glia... commit | commitdiff
2001-04-05 Andrea AspertiBug nat_double_ind solved. commit | commitdiff
2001-04-04 Claudio Sacerdoti... pure ==> proof_transform for the "by" part of rewriting commit | commitdiff
2001-04-03 Andrea AspertiComplete management of inductive types. commit | commitdiff
2001-03-07 Andrea Asperti*** empty log message *** commit | commitdiff
2001-03-06 Claudio Sacerdoti... The .types files are now read directly by the stylesheets. commit | commitdiff
2001-03-05 Andrea Aspertiadded eq_ind commit | commitdiff
2001-02-07 Andrea AspertiNew version of proof.xsl commit | commitdiff
2001-02-06 Irene SchenaModified Files: commit | commitdiff
2001-01-25 Andrea Aspertiex_ind treated similarly to exT_ind. commit | commitdiff
2001-01-25 Andrea AspertiExT_ind implemented. commit | commitdiff
2001-01-23 Andrea Asperti- Bug due to overloading of csymbol letin fixed. commit | commitdiff
2001-01-17 Irene SchenaModified Files: commit | commitdiff
2001-01-15 Luca Padovaniadded LICENSE commit | commitdiff
2000-12-18 Claudio Sacerdoti... Performance improvements using the sort attribute commit | commitdiff
2000-12-18 Claudio Sacerdoti... Some spaces at the content level eliminated. commit | commitdiff
2000-12-18 Claudio Sacerdoti... Performance improvements and bug fixed commit | commitdiff
2000-12-14 Claudio Sacerdoti... Bug fixed commit | commitdiff
2000-12-14 Claudio Sacerdoti... Some optimizations using the "sort" attribute. commit | commitdiff
2000-12-04 Claudio Sacerdoti... Update to V7 after V6-2 tag creationg commit | commitdiff
2000-11-29 Irene SchenaModified Files: commit | commitdiff
2000-11-24 Claudio Sacerdoti... http_getter reimplemented from scratch commit | commitdiff
2000-11-17 Claudio Sacerdoti... I don't know commit | commitdiff
2000-11-03 Claudio Sacerdoti... Temporary patch for threads and and_ind, or_ind, ... commit | commitdiff
2000-10-31 Claudio Sacerdoti... Initial revision commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.