]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Hocus-pocus code to use the old (and deprecated) implementation of
[helm.git] / helm /
2014-03-04 Ferruccio Guidisome external links updated tree | commitdiff
2014-03-04 Ferruccio Guidia suggestion was added to avoid 1 pseudo reduction... tree | commitdiff
2014-03-03 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2014-02-28 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2014-02-25 Ferruccio Guidirelabelled documantation entries tree | commitdiff
2014-02-24 Ferruccio Guidiupdate in web site and basic_2 tree | commitdiff
2014-02-22 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2014-02-21 Ferruccio Guidiupdate in basic_2 and ground_2 tree | commitdiff
2014-02-11 Ferruccio Guidiupdate in basic_2 and ground_2 tree | commitdiff
2014-01-20 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2014-01-10 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2013-12-15 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-12-14 Ferruccio Guidiupdate in basic_2 completed tree | commitdiff
2013-12-14 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-12-04 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-12-04 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-12-02 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-12-01 Ferruccio Guidiupdate in ground_2 tree | commitdiff
2013-11-28 Ferruccio Guidiupdate in ground_2, web page for ground_2 tree | commitdiff
2013-11-25 Ferruccio Guidiupdate in ground_2 ... tree | commitdiff
2013-11-03 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-11-01 Ferruccio Guidiupdate in basic_2 (bugfix) tree | commitdiff
2013-11-01 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-27 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-26 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-25 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-24 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2013-10-12 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-11 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-06 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-06 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-04 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-10-04 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-08-07 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2013-07-27 Ferruccio Guidimilesone in basic_2! tree | commitdiff
2013-07-20 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2013-06-20 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-06-08 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-06-03 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-06-01 Ferruccio Guidiupdate in basic_2 and apps_2 tree | commitdiff
2013-05-16 Ferruccio Guidipartial update in basic_2 tree | commitdiff
2013-05-10 Ferruccio Guidipartial update in basic_2 ... tree | commitdiff
2013-05-09 Ferruccio Guidipartial commit in basic_2 tree | commitdiff
2013-05-05 Ferruccio Guidipartial update in basic_2 tree | commitdiff
2013-04-21 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-04-20 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-04-16 Ferruccio Guidimilestone update in basic_2! tree | commitdiff
2013-04-07 Ferruccio Guidiupdate in basic_2 and apps_2 tree | commitdiff
2013-04-05 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-03-18 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-03-16 Ferruccio Guidimilestone in basic_2! tree | commitdiff
2013-03-14 Ferruccio Guidithis is the real update :) tree | commitdiff
2013-03-14 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-03-11 Ferruccio Guidibugfix in web tables tree | commitdiff
2013-03-11 Ferruccio Guidi- xslt and Makefile improved, web pages regenerated tree | commitdiff
2013-03-09 Ferruccio Guidi- update in basic_2 tree | commitdiff
2013-03-08 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-03-03 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-28 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-24 Ferruccio Guidi- xhtbl: now double quotes can appear in string literals tree | commitdiff
2013-02-22 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-18 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-15 Ferruccio Guidiupdate in basic_2 summary tree | commitdiff
2013-02-15 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-13 Ferruccio Guidistatistics update in basic_2 tree | commitdiff
2013-02-11 Ferruccio Guidian update in basic_2 tree | commitdiff
2013-02-07 Ferruccio Guidione table was nissing ... tree | commitdiff
2013-02-07 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-06 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2013-02-01 Ferruccio Guidi- Now the nodes count does not include the generated... tree | commitdiff
2013-01-28 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-12-30 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-12-13 Ferruccio Guidi- we added delimiters to the URL in lambdadelta1 tree | commitdiff
2012-12-12 Ferruccio Guidi- bib refactoring tree | commitdiff
2012-12-12 Ferruccio Guidilambdadelta1 is now dated with release date of \lambda... tree | commitdiff
2012-12-02 Ferruccio Guidi- bugfix in stylesheets tree | commitdiff
2012-12-02 Ferruccio Guidibugfix in uri's: missing "/" added to baseuri's where... tree | commitdiff
2012-12-02 Ferruccio Guidi- dehypenation involves helena as well tree | commitdiff
2012-12-02 Ferruccio Guidithe dehyphenation update continues ... tree | commitdiff
2012-12-02 Ferruccio Guidisome corrections to the prose of the web site tree | commitdiff
2012-12-01 Ferruccio Guidiweb site update tree | commitdiff
2012-12-01 Ferruccio Guidiold lambdadelta home page is dismissed tree | commitdiff
2012-12-01 Ferruccio Guidinug fix in the location of images tree | commitdiff
2012-12-01 Ferruccio Guidiplanned dehyphenation of lambdadelta eventually took... tree | commitdiff
2012-11-22 Ferruccio Guidi- additions in basic_2 tree | commitdiff
2012-11-20 Ferruccio Guidisome corrections tree | commitdiff
2012-11-20 Ferruccio Guidisome words decapitalized :) tree | commitdiff
2012-11-20 Ferruccio Guidimilestone table in foreword tree | commitdiff
2012-11-20 Ferruccio Guidimilestone with end date of lambda_delta_1 tree | commitdiff
2012-10-18 Ferruccio Guidi- additions in basic_2 tree | commitdiff
2012-10-16 Ferruccio Guidi- milestone update in basic_2 tree | commitdiff
2012-10-15 Ferruccio Guidi- xhtbl: we added the construction + to place several... tree | commitdiff
2012-10-13 Ferruccio Guidiupdates in basic_2 ... tree | commitdiff
2012-09-29 Ferruccio Guidibugfix in Makefiles tree | commitdiff
2012-09-29 Ferruccio Guidi- updates in basic_2 tree | commitdiff
2012-09-28 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-09-28 Ferruccio Guidi- some additions to basic_2 tree | commitdiff
2012-09-03 Ferruccio Guidipartial update in basic_2 ... tree | commitdiff
2012-08-25 Ferruccio Guidiupdate of logo completed! tree | commitdiff
2012-08-25 Ferruccio Guidistill updating ... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.