]> matita.cs.unibo.it Git - helm.git/history - helm
- paths and left residuals: second case of the equivalence proved!
[helm.git] / helm /
2012-12-30 Ferruccio Guidiupdate in basic_2
2012-12-13 Ferruccio Guidi- we added delimiters to the URL in lambdadelta1
2012-12-12 Ferruccio Guidi- bib refactoring
2012-12-12 Ferruccio Guidilambdadelta1 is now dated with release date of \lambda...
2012-12-02 Ferruccio Guidi- bugfix in stylesheets
2012-12-02 Ferruccio Guidibugfix in uri's: missing "/" added to baseuri's where...
2012-12-02 Ferruccio Guidi- dehypenation involves helena as well
2012-12-02 Ferruccio Guidithe dehyphenation update continues ...
2012-12-02 Ferruccio Guidisome corrections to the prose of the web site
2012-12-01 Ferruccio Guidiweb site update
2012-12-01 Ferruccio Guidiold lambdadelta home page is dismissed
2012-12-01 Ferruccio Guidinug fix in the location of images
2012-12-01 Ferruccio Guidiplanned dehyphenation of lambdadelta eventually took...
2012-11-22 Ferruccio Guidi- additions in basic_2
2012-11-20 Ferruccio Guidisome corrections
2012-11-20 Ferruccio Guidisome words decapitalized :)
2012-11-20 Ferruccio Guidimilestone table in foreword
2012-11-20 Ferruccio Guidimilestone with end date of lambda_delta_1
2012-10-18 Ferruccio Guidi- additions in basic_2
2012-10-16 Ferruccio Guidi- milestone update in basic_2
2012-10-15 Ferruccio Guidi- xhtbl: we added the construction + to place several...
2012-10-13 Ferruccio Guidiupdates in basic_2 ...
2012-09-29 Ferruccio Guidibugfix in Makefiles
2012-09-29 Ferruccio Guidi- updates in basic_2
2012-09-28 Ferruccio Guidiadditions to basic_2
2012-09-28 Ferruccio Guidi- some additions to basic_2
2012-09-03 Ferruccio Guidipartial update in basic_2 ...
2012-08-25 Ferruccio Guidiupdate of logo completed!
2012-08-25 Ferruccio Guidistill updating ...
2012-08-25 Ferruccio Guidiwe are updating the logo of lambda_delta ...
2012-08-24 Ferruccio Guidi- Makefile update
2012-07-29 Ferruccio Guidiupdate in basic_2
2012-07-27 Ferruccio Guidiadditions and corrections to basic_2
2012-07-26 Ferruccio Guidipolarized binders introduced in basic_2
2012-07-13 Ferruccio Guidi- we added a time specification in the generated web...
2012-06-20 Ferruccio Guidian addition to basic_2
2012-06-15 Ferruccio Guidiadditions to basic_2
2012-06-04 Ferruccio Guidian addition to basic_2
2012-06-02 Ferruccio Guidiadditions to basic_2
2012-06-01 Ferruccio Guidiupdate in basic_2
2012-05-30 Ferruccio Guidiupdate in basic_2
2012-05-25 Ferruccio Guidiupdate in basic_2
2012-05-16 Ferruccio Guidiupdate in basic_2
2012-05-10 Ferruccio Guidi- notation changes in basic_2
2012-05-10 Ferruccio Guidiadditions to basic_2
2012-05-03 Ferruccio Guidiadditions in basic_2
2012-04-25 Ferruccio Guidiadditions in basic_2
2012-04-21 Ferruccio Guidiadditions to basic_2
2012-04-19 Ferruccio Guidi- update in basic_2
2012-04-16 Ferruccio Guidi- milestone update in basic_2
2012-04-10 Ferruccio Guidiurgent partial commit ... to be fixed later ...
2012-04-04 Ferruccio Guidiupdate in basic_2
2012-04-03 Andrea AspertiMinor changes
2012-04-03 Wilmer RicciottiMore changes to the website (matitaweb).
2012-04-03 Wilmer RicciottiVarious updates to the (obsolete) website.
2012-04-03 Andrea Aspertimodifiche
2012-04-03 Andrea AspertiVersione italiana
2012-04-03 Andrea AspertiNew home
2012-04-03 Andrea AspertiTop picture
2012-04-03 Andrea Aspertiprova
2012-04-03 Andrea AspertiCreated a new directory for Matita1.0
2012-03-30 Ferruccio Guidiadditions to basic_2
2012-03-23 Ferruccio Guidiadditions in basic_2
2012-03-19 Ferruccio Guidiadditions to basic_2
2012-03-17 Ferruccio Guidiupdate in basic_2 and apps_2
2012-03-15 Ferruccio Guidirenaming completed
2012-03-15 Ferruccio Guidisome renaming (ld_ prefix removed from file names)
2012-03-15 Ferruccio Guidimilestone update in basic_2!
2012-03-14 Ferruccio Guidiupdate in basic_2
2012-03-10 Ferruccio Guidigenerated web pages update
2012-03-09 Ferruccio Guidi- update in Basic_2
2012-02-27 Ferruccio Guidisome additions to Basic_2
2012-02-24 Ferruccio Guidisite update
2012-02-24 Ferruccio Guidi- we added a web page (Apps_2) for the checked applicat...
2012-02-21 Ferruccio Guidi- site update
2012-02-20 Ferruccio Guidiadditions to Basic_2 ...
2012-02-14 Ferruccio Guidiadditions to Basic_2
2012-02-11 Ferruccio Guidiadditions to Basic_2
2012-02-09 Ferruccio Guidi- design table for Basic_2
2012-02-02 Ferruccio Guidi- one file and three lemmas added to Basic 2
2012-02-01 Ferruccio Guidithe Basic_2 page was not regenerated ...
2012-02-01 Ferruccio Guidiwe added summary and timeline to the Basic_2 page
2012-01-29 Ferruccio Guidimore files added to Basic_2
2012-01-27 Ferruccio Guidimore files added to Basic_2
2012-01-26 Ferruccio Guidi- one file added to Basic_2
2012-01-21 Ferruccio Guidibig fixin the structure of Basic_2
2012-01-21 Ferruccio Guidimore files to Basic_2
2012-01-16 Ferruccio Guidisome additionsand refactoring in Basic_2
2012-01-13 Ferruccio Guidimore file names added to Basic_2
2012-01-08 Ferruccio GuidiBasic_2: restyling and more notation
2012-01-07 Ferruccio GuidiBasic_2: - we addedsome files
2011-12-25 Ferruccio GuidiBasic 2 page update
2011-12-20 Ferruccio GuidiBasic_2 update ...
2011-12-12 Ferruccio Guidi- we improved and updated the generated web pages
2011-12-08 Ferruccio Guidiupdating the information on lambda_delta
2011-12-08 Ferruccio GuidiMaietty suggested to change a paragraph on the devel...
2011-12-08 Ferruccio GuidiMaietti suggested to replace a paragraph about the...
2011-12-06 Ferruccio Guidinew files started ...
2011-11-21 Ferruccio GuidiBasic_2 file names update
2011-11-14 Ferruccio Guidifile names and description update
next