]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Patterns are now computed according to the extracted constructor type.
[helm.git] / helm /
2012-08-25 Ferruccio Guidiupdate of logo completed! tree | commitdiff
2012-08-25 Ferruccio Guidistill updating ... tree | commitdiff
2012-08-25 Ferruccio Guidiwe are updating the logo of lambda_delta ... tree | commitdiff
2012-08-24 Ferruccio Guidi- Makefile update tree | commitdiff
2012-07-29 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-07-27 Ferruccio Guidiadditions and corrections to basic_2 tree | commitdiff
2012-07-26 Ferruccio Guidipolarized binders introduced in basic_2 tree | commitdiff
2012-07-13 Ferruccio Guidi- we added a time specification in the generated web... tree | commitdiff
2012-06-20 Ferruccio Guidian addition to basic_2 tree | commitdiff
2012-06-15 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-06-04 Ferruccio Guidian addition to basic_2 tree | commitdiff
2012-06-02 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-06-01 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-05-30 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-05-25 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-05-16 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-05-10 Ferruccio Guidi- notation changes in basic_2 tree | commitdiff
2012-05-10 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-05-03 Ferruccio Guidiadditions in basic_2 tree | commitdiff
2012-04-25 Ferruccio Guidiadditions in basic_2 tree | commitdiff
2012-04-21 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-04-19 Ferruccio Guidi- update in basic_2 tree | commitdiff
2012-04-16 Ferruccio Guidi- milestone update in basic_2 tree | commitdiff
2012-04-10 Ferruccio Guidiurgent partial commit ... to be fixed later ... tree | commitdiff
2012-04-04 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-04-03 Andrea AspertiMinor changes tree | commitdiff
2012-04-03 Wilmer RicciottiMore changes to the website (matitaweb). tree | commitdiff
2012-04-03 Wilmer RicciottiVarious updates to the (obsolete) website. tree | commitdiff
2012-04-03 Andrea Aspertimodifiche tree | commitdiff
2012-04-03 Andrea AspertiVersione italiana tree | commitdiff
2012-04-03 Andrea AspertiNew home tree | commitdiff
2012-04-03 Andrea AspertiTop picture tree | commitdiff
2012-04-03 Andrea Aspertiprova tree | commitdiff
2012-04-03 Andrea AspertiCreated a new directory for Matita1.0 tree | commitdiff
2012-03-30 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-03-23 Ferruccio Guidiadditions in basic_2 tree | commitdiff
2012-03-19 Ferruccio Guidiadditions to basic_2 tree | commitdiff
2012-03-17 Ferruccio Guidiupdate in basic_2 and apps_2 tree | commitdiff
2012-03-15 Ferruccio Guidirenaming completed tree | commitdiff
2012-03-15 Ferruccio Guidisome renaming (ld_ prefix removed from file names) tree | commitdiff
2012-03-15 Ferruccio Guidimilestone update in basic_2! tree | commitdiff
2012-03-14 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2012-03-10 Ferruccio Guidigenerated web pages update tree | commitdiff
2012-03-09 Ferruccio Guidi- update in Basic_2 tree | commitdiff
2012-02-27 Ferruccio Guidisome additions to Basic_2 tree | commitdiff
2012-02-24 Ferruccio Guidisite update tree | commitdiff
2012-02-24 Ferruccio Guidi- we added a web page (Apps_2) for the checked applicat... tree | commitdiff
2012-02-21 Ferruccio Guidi- site update tree | commitdiff
2012-02-20 Ferruccio Guidiadditions to Basic_2 ... tree | commitdiff
2012-02-14 Ferruccio Guidiadditions to Basic_2 tree | commitdiff
2012-02-11 Ferruccio Guidiadditions to Basic_2 tree | commitdiff
2012-02-09 Ferruccio Guidi- design table for Basic_2 tree | commitdiff
2012-02-02 Ferruccio Guidi- one file and three lemmas added to Basic 2 tree | commitdiff
2012-02-01 Ferruccio Guidithe Basic_2 page was not regenerated ... tree | commitdiff
2012-02-01 Ferruccio Guidiwe added summary and timeline to the Basic_2 page tree | commitdiff
2012-01-29 Ferruccio Guidimore files added to Basic_2 tree | commitdiff
2012-01-27 Ferruccio Guidimore files added to Basic_2 tree | commitdiff
2012-01-26 Ferruccio Guidi- one file added to Basic_2 tree | commitdiff
2012-01-21 Ferruccio Guidibig fixin the structure of Basic_2 tree | commitdiff
2012-01-21 Ferruccio Guidimore files to Basic_2 tree | commitdiff
2012-01-16 Ferruccio Guidisome additionsand refactoring in Basic_2 tree | commitdiff
2012-01-13 Ferruccio Guidimore file names added to Basic_2 tree | commitdiff
2012-01-08 Ferruccio GuidiBasic_2: restyling and more notation tree | commitdiff
2012-01-07 Ferruccio GuidiBasic_2: - we addedsome files tree | commitdiff
2011-12-25 Ferruccio GuidiBasic 2 page update tree | commitdiff
2011-12-20 Ferruccio GuidiBasic_2 update ... tree | commitdiff
2011-12-12 Ferruccio Guidi- we improved and updated the generated web pages tree | commitdiff
2011-12-08 Ferruccio Guidiupdating the information on lambda_delta tree | commitdiff
2011-12-08 Ferruccio GuidiMaietty suggested to change a paragraph on the devel... tree | commitdiff
2011-12-08 Ferruccio GuidiMaietti suggested to replace a paragraph about the... tree | commitdiff
2011-12-06 Ferruccio Guidinew files started ... tree | commitdiff
2011-11-21 Ferruccio GuidiBasic_2 file names update tree | commitdiff
2011-11-14 Ferruccio Guidifile names and description update tree | commitdiff
2011-11-05 Ferruccio Guidi- file names update tree | commitdiff
2011-10-26 Ferruccio Guidirefactoring ... tree | commitdiff
2011-10-25 Ferruccio Guidi-- some renaming in basic_2 tree | commitdiff
2011-10-11 Ferruccio Guidiupdate ... tree | commitdiff
2011-10-11 Ferruccio Guidiupdate ... tree | commitdiff
2011-10-03 Ferruccio Guidinews update tree | commitdiff
2011-10-03 Ferruccio Guiditypos ... tree | commitdiff
2011-10-03 Ferruccio Guidi- first version of xhtbl tree | commitdiff
2011-10-03 Ferruccio Guidi- new stylesheets for xhtml pages (ld_web) tree | commitdiff
2011-10-02 Ferruccio Guidi- xhtbl.css is ready! tree | commitdiff
2011-09-29 Ferruccio Guidistill new colors ... tree | commitdiff
2011-09-29 Ferruccio Guidibugfix in one of the new colors :) tree | commitdiff
2011-09-29 Ferruccio Guidibugfix in remote update tree | commitdiff
2011-09-29 Ferruccio Guidinew colors for the crux ... tree | commitdiff
2011-09-12 Ferruccio Guidiremote update by make tree | commitdiff
2011-09-12 Ferruccio Guidiadded a pointer to helena in Wiedijk's list tree | commitdiff
2011-09-12 Ferruccio Guidiupdate tree | commitdiff
2011-09-12 Ferruccio Guidibug fix in xslt: missing ld namespace tree | commitdiff
2011-09-12 Ferruccio Guidirefactoring completed! tree | commitdiff
2011-09-11 Ferruccio Guidibug fix in the dtd tree | commitdiff
2011-09-11 Ferruccio Guidirefactoring and regeneration of lddl tree | commitdiff
2011-09-11 Ferruccio Guidithe refactoring continues ... tree | commitdiff
2011-09-11 Ferruccio Guidirefactoring ... tree | commitdiff
2011-09-09 Ferruccio Guidi- news update tree | commitdiff
2011-09-08 Ferruccio Guidi- helm server url updated tree | commitdiff
2011-09-08 Ferruccio Guidiinitial commit of lambda_delta web site tree | commitdiff
2011-04-13 Claudio Sacerdoti... ... tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.