projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2013-06-03 Ferruccio Guidi- a comment removed commit | commitdiff | tree | snapshot
2013-06-03 Ferruccio Guidi- induction on supclosure replaces induction on weight... commit | commitdiff | tree | snapshot
2013-06-01 Ferruccio Guidiupdate in basic_2 and apps_2 commit | commitdiff | tree | snapshot
2013-06-01 Ferruccio Guidi- basic_2: induction for preservation results now uses... commit | commitdiff | tree | snapshot
2013-05-31 Andrea Aspertiiteration.ma commit | commitdiff | tree | snapshot
2013-05-31 Andrea Aspertibounded quantifiers and pidgeon_hole commit | commitdiff | tree | snapshot
2013-05-31 Andrea Aspertigap.ma commit | commitdiff | tree | snapshot
2013-05-31 matitawebNuovi files commit | commitdiff | tree | snapshot
2013-05-30 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-05-30 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-05-29 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-05-28 Andrea AspertiError to debug commit | commitdiff | tree | snapshot
2013-05-17 Andrea AspertiImproved version commit | commitdiff | tree | snapshot
2013-05-17 Andrea Aspertimore functions commit | commitdiff | tree | snapshot
2013-05-16 Ferruccio Guidipartial update in basic_2 commit | commitdiff | tree | snapshot
2013-05-16 Ferruccio Guidi- some renaming commit | commitdiff | tree | snapshot
2013-05-13 Ferruccio Guidipartial commit of the "dynamic" component commit | commitdiff | tree | snapshot
2013-05-10 Ferruccio Guidipartial update in basic_2 ... commit | commitdiff | tree | snapshot
2013-05-10 Ferruccio Guidi- partial commit: we issue the "conversion" and "equiva... commit | commitdiff | tree | snapshot
2013-05-09 Ferruccio Guidipartial commit in basic_2 commit | commitdiff | tree | snapshot
2013-05-09 Ferruccio Guidipartial commit: finaly we issue the "computation" compo... commit | commitdiff | tree | snapshot
2013-05-07 Ferruccio Guidi- partial commit: refactoring in the components before... commit | commitdiff | tree | snapshot
2013-05-05 Ferruccio Guidipartial update in basic_2 commit | commitdiff | tree | snapshot
2013-05-05 Ferruccio Guidi- partial commit (just the components before computation) commit | commitdiff | tree | snapshot
2013-05-03 Andrea Aspertireverse complexity commit | commitdiff | tree | snapshot
2013-04-30 Claudio Sacerdoti... Bumped to 0.99.2. commit | commitdiff | tree | snapshot
2013-04-30 Claudio Sacerdoti... Missing include. commit | commitdiff | tree | snapshot
2013-04-30 Andrea Aspertichapter9 commit | commitdiff | tree | snapshot
2013-04-30 Andrea Aspertitutorial commit | commitdiff | tree | snapshot
2013-04-30 Claudio Sacerdoti... Old version dropped. commit | commitdiff | tree | snapshot
2013-04-30 Andrea AspertiNew notation for congruence commit | commitdiff | tree | snapshot
2013-04-30 Andrea AspertiThis line, and those below, will be ignored-- commit | commitdiff | tree | snapshot
2013-04-30 matitawebcommit by user ricciott commit | commitdiff | tree | snapshot
2013-04-29 Andrea AspertiA few integrations (closed an axiom in finset). commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-27 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-26 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-25 Wilmer RicciottiAn attempt at ostensiby named syntax. commit | commitdiff | tree | snapshot
2013-04-21 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-04-21 Ferruccio Guidione file was missing commit | commitdiff | tree | snapshot
2013-04-21 Ferruccio Guidi- we commit the "reduction" component commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidirefactoring should be completed now commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidirefactoring completed :) commit | commitdiff | tree | snapshot
2013-04-20 Ferruccio Guidi- we are committing just the components before "reducib... commit | commitdiff | tree | snapshot
2013-04-19 matitawebcommit by user lroversi commit | commitdiff | tree | snapshot
2013-04-17 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-17 Wilmer RicciottiFixes a bug which caused Meta_not_found exceptions... commit | commitdiff | tree | snapshot
2013-04-16 Ferruccio Guidimilestone update in basic_2! commit | commitdiff | tree | snapshot
2013-04-16 Ferruccio Guidi- we commit just the components before "reducibility" commit | commitdiff | tree | snapshot
2013-04-15 Ferruccio Guidiuncommited file found :) commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-10 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-09 Wilmer RicciottiFixes a bug that caused an assertion failure when no... commit | commitdiff | tree | snapshot
2013-04-08 Claudio Sacerdoti... Patch by Paolo Tranquilli. It fixes the following probl... commit | commitdiff | tree | snapshot
2013-04-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2013-04-07 Ferruccio Guidiupdate in basic_2 and apps_2 commit | commitdiff | tree | snapshot
2013-04-07 Ferruccio Guidi- new component for restricted computation (delta,... commit | commitdiff | tree | snapshot
2013-04-05 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-04-05 Ferruccio Guidi- parallel substitution reaxiomatized commit | commitdiff | tree | snapshot
2013-03-20 Ferruccio Guidi- probe: recursive removal of empty directories commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidimissing or rootless dependences now don't break the... commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidisome additions commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidia file was added by mistake commit | commitdiff | tree | snapshot
2013-03-18 Ferruccio Guidi- more understanding of the "big tree" reduction step commit | commitdiff | tree | snapshot
2013-03-17 Ferruccio Guidisfr renamed as lbotr and its symbol changed according... commit | commitdiff | tree | snapshot
2013-03-17 Ferruccio Guidinotational change for lsubr: commit | commitdiff | tree | snapshot
2013-03-17 Ferruccio Guidilsubs renamed as lsubr commit | commitdiff | tree | snapshot
2013-03-17 Ferruccio Guidinotational change for snv and lsubsv: inverted "!"... commit | commitdiff | tree | snapshot
2013-03-16 Ferruccio Guidimilestone in basic_2! commit | commitdiff | tree | snapshot
2013-03-16 Ferruccio Guidi- lambdadelta: last recursive part of preservation... commit | commitdiff | tree | snapshot
2013-03-14 Ferruccio Guidithis is the real update :) commit | commitdiff | tree | snapshot
2013-03-14 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-03-14 Ferruccio Guidi- main proof case closed in the 4th component of preser... commit | commitdiff | tree | snapshot
2013-03-13 Ferruccio Guidi- lambdadelta: third recursive part of preservation... commit | commitdiff | tree | snapshot
2013-03-11 Ferruccio Guidimore results on lenv refinement for stratified native... commit | commitdiff | tree | snapshot
2013-03-11 Ferruccio Guidibugfix in web tables commit | commitdiff | tree | snapshot
2013-03-11 Ferruccio Guidisome bugs fixed commit | commitdiff | tree | snapshot
2013-03-11 Ferruccio Guidi- xslt and Makefile improved, web pages regenerated commit | commitdiff | tree | snapshot
2013-03-11 Andrea AspertiChpater 4 and 5 commit | commitdiff | tree | snapshot
2013-03-10 Ferruccio Guidi- improved Makefile esp. with the "trim" function commit | commitdiff | tree | snapshot
2013-03-10 Andrea Aspertichapters 2 e 3 commit | commitdiff | tree | snapshot
2013-03-10 Ferruccio Guidiwe removed a useless assertion that was forcing matita... commit | commitdiff | tree | snapshot
2013-03-09 Ferruccio Guidi- update in basic_2 commit | commitdiff | tree | snapshot
2013-03-09 Ferruccio Guidibasic_2_src.tbl was not updated :( commit | commitdiff | tree | snapshot
2013-03-09 Ferruccio Guidi- lenv refinement for stratified native validity redefined commit | commitdiff | tree | snapshot
2013-03-08 Ferruccio Guidisecond recursive part of preservation finally proved! commit | commitdiff | tree | snapshot
2013-03-08 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-03-08 Ferruccio Guidiimproved "big treee" computation allows to close a... commit | commitdiff | tree | snapshot
2013-03-04 Claudio Sacerdoti... Bug fixed: let-rec defined propositions are no longer... commit | commitdiff | tree | snapshot
2013-03-03 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-03-03 Ferruccio Guidi- lambdadelta: we removed focalized reduction from... commit | commitdiff | tree | snapshot
2013-02-28 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2013-02-28 Ferruccio Guidi- lambdadelta: first recursive part of preservation... commit | commitdiff | tree | snapshot
2013-02-28 Andrea Aspertichapter2 revisited commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.