]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/download
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update in apps_2
[helm.git] / helm / www / lambdadelta / download /
2018-03-02 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2018-01-13 Ferruccio Guidi\lambda\delta web site update for git tree | commitdiff
2017-10-10 Ferruccio Guidi- web site update tree | commitdiff
2016-06-01 Ferruccio Guidi- source web pages for lambdadelta_1 tree | commitdiff
2016-05-31 Ferruccio Guidi- update in ground_2 and basic_2 tree | commitdiff
2016-01-23 Ferruccio Guididocumentation update tree | commitdiff
2015-12-30 Ferruccio Guidisite update for helena 0.8.3 tree | commitdiff
2015-12-10 Ferruccio Guidiweb site minor update tree | commitdiff
2015-12-10 Ferruccio Guidiweb site update tree | commitdiff
2015-09-06 Ferruccio Guidiscripts for lambdadelta_1 updated with minor corrections tree | commitdiff
2015-09-04 Ferruccio Guiditypo corrected in bibliography tree | commitdiff
2015-09-02 Ferruccio Guidiupdated bibliography tree | commitdiff
2015-08-07 Ferruccio Guidinew version of J3a submitted to JFR tree | commitdiff
2015-03-06 Ferruccio Guidiupdated bibliography for text J1 tree | commitdiff
2015-03-06 Ferruccio Guidi- new naming sheme for documentation yields more stable... tree | commitdiff
2015-02-21 Ferruccio Guidi- update for helena 0.8.2 and related files tree | commitdiff
2015-02-18 Ferruccio Guidifirst article on lambdadelta version 3 tree | commitdiff
2015-01-20 Ferruccio Guidibasic_1: we separate theorems and lemmas as in basic_2 tree | commitdiff
2015-01-19 Ferruccio Guidiupdate in web page for basic_1 tree | commitdiff
2015-01-16 Ferruccio Guidilambdadelta_1: bugfix tree | commitdiff
2015-01-15 Ferruccio Guidilambdadelta_1 updated with new part names tree | commitdiff
2015-01-11 Ferruccio Guidiwe restored the scripts of \lambda\delta version 1 tree | commitdiff
2015-01-04 Ferruccio Guidi- xhtbl: minor improvement tree | commitdiff
2014-12-26 Ferruccio Guidithe corrected "Grundlagen" is online tree | commitdiff
2014-12-25 Ferruccio Guidilddl update with the disambiguated "grundlagen" tree | commitdiff
2014-11-25 Ferruccio Guidi- ld.dtd updated tree | commitdiff
2014-11-01 Ferruccio Guidiweb site updated with document J2 tree | commitdiff
2014-10-28 Ferruccio Guidi- milestone update in basic_2 (basic_2a released) tree | commitdiff
2014-10-20 Ferruccio Guidi- update in basic_2 tree | commitdiff
2014-10-15 Ferruccio Guidiminor update in basic 2 and in the web site tree | commitdiff
2014-10-13 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2014-10-09 Ferruccio Guidi- update in basic_2 tree | commitdiff
2014-10-05 Ferruccio Guidicontrib update ... tree | commitdiff
2014-09-15 Ferruccio Guidiminor update in basic_2 ... tree | commitdiff
2014-09-14 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2014-09-12 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2014-09-10 Ferruccio Guidi- contrib update for version 2 tree | commitdiff
2014-08-07 Ferruccio Guidi- update in basic_2 tree | commitdiff
2014-08-06 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2014-08-05 Ferruccio Guidi- update in basic_2 and ground_2 tree | commitdiff
2014-07-20 Ferruccio Guidiweb site update tree | commitdiff
2014-06-29 Ferruccio Guidi- we begin the new site based on ld_web tree | commitdiff
2014-06-25 Ferruccio Guidiupdated slides tree | commitdiff
2014-06-19 Ferruccio Guidimisspelled filename :( tree | commitdiff
2014-06-19 Ferruccio Guidi- we upload communication #8 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 Guidithe dehyphenation update continues ... tree | commitdiff
2012-12-01 Ferruccio Guidiplanned dehyphenation of lambdadelta eventually took... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.