]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2012-03-15 Ferruccio Guidimilestone update in basic_2!
2012-03-15 Ferruccio Guidi- lambda_delta: strong normalization of simply typed...
2012-03-15 matitawebManual commit (basics/core_notation.ma)
2012-03-14 Ferruccio Guidiupdate in basic_2
2012-03-14 Ferruccio Guidiproperty S2 of strongly normalizing terms proved!
2012-03-14 Ferruccio Guidi- property S4 of strongly normalizing term proved!
2012-03-13 matitawebmanual correction to tutorial/chapter2.ma
2012-03-12 Ferruccio Guidi- Properties S3 and S5 of context-sensitive strongly...
2012-03-12 matitaweb(no commit message)
2012-03-12 matitawebMatitaweb:
2012-03-11 Ferruccio Guidi- context-sensitive computation: more properties
2012-03-10 Ferruccio Guidigenerated web pages update
2012-03-10 Ferruccio Guidi- renaming completed!
2012-03-10 Ferruccio GuidiWe are decapitalizing the contributions' names ...
2012-03-09 Ferruccio Guidi- update in Basic_2
2012-03-09 Ferruccio Guidi- lambda_delta: morew propertie in context-sensitive...
2012-03-09 Claudio Sacerdoti... Fixes bug where switching to a new tab the slider is...
2012-03-08 matitawebcommit by user andrea
2012-03-08 matitawebcommit by user andrea
2012-03-08 matitawebcommit by user andrea
2012-03-08 matitawebcommit by user utente2
2012-03-08 matitawebcommit by user ricciott
2012-03-08 matitawebcommit by user andrea
2012-03-08 Andrea AspertiAxiom proved
2012-03-08 matitawebSectionin
2012-03-07 matitawebcommit by user utente2
2012-03-07 matitawebcommit by user andrea
2012-03-07 matitawebmore sections
2012-03-07 matitawebsmall changes
2012-03-07 matitawebTitols
2012-03-07 matitawebSections
2012-03-07 matitawebcommit by user andrea
2012-03-07 matitawebcommit by user utente2
2012-03-07 matitawebsection in chapter 2
2012-03-07 matitawebcommit by user andrea
2012-03-07 matitawebAdded sections in chapter 1.
2012-03-07 matitawebRemoved re.ma and re1.ma
2012-03-07 matitawebcommit by user andrea
2012-03-07 matitawebcommit by user andrea
2012-03-06 matitawebcommit by user andrea
2012-03-06 matitawebcommit by user andrea
2012-03-06 matitawebcommit by user utente2
2012-03-06 matitawebcommit by user ricciott
2012-03-06 matitawebcommit by user andrea
2012-03-06 Claudio Sacerdoti... Forward compatibility with new releases of Camlp5.
2012-03-06 Claudio Sacerdoti... Workaround for a BSD bug (submitted by Boender).
2012-03-06 Claudio Sacerdoti... Bug fixed: horizontal scrolling now works correctly...
2012-03-06 Claudio Sacerdoti... MAJOR SPEED UP. The previous implementation of scrollin...
2012-03-06 Claudio Sacerdoti... Minor speed up in the code.
2012-03-06 matitawebcommit by user andrea
2012-03-06 matitawebRemoved gif
2012-03-06 matitawebchapter 9
2012-03-06 matitawebPictures
2012-03-06 matitawebcommit by user andrea
2012-03-06 matitawebcommit by user andrea
2012-03-06 matitawebcommit by user andrea
2012-03-06 matitawebSmall changes
2012-03-06 Claudio Sacerdoti... Major speed-up improvement. Adding one callback per...
2012-03-06 matitawebchapter 9 and 10
2012-03-06 matitawebcommit by user andrea
2012-03-04 Ferruccio Guidi- lambda_delta: "conversion" and "equivalence" componen...
2012-03-02 matitawebcommit by user andrea
2012-03-02 matitawebcommit by user andrea
2012-03-02 matitawebcommit by user andrea
2012-03-02 matitawebcommit by user andrea
2012-03-02 matitawebcommit by user andrea
2012-03-02 matitawebcommit by user utente2
2012-03-02 matitawebcommit by user andrea
2012-03-02 matitawebSplitted chapter 7
2012-03-02 matitawebcommit by user andrea
2012-03-01 Ferruccio Guidimissing files in the former commit :(
2012-03-01 matitawebcommit by user andrea
2012-03-01 matitawebcommit by user andrea
2012-03-01 matitawebcommit by user andrea
2012-02-29 matitawebcommit by user andrea
2012-02-29 matitawebcommit by user andrea
2012-02-29 matitawebcommit by user andrea
2012-02-29 matitawebcommit by user andrea
2012-02-28 matitawebcommit by user andrea
2012-02-28 matitawebcommit by user andrea
2012-02-28 matitawebcommit by user andrea
2012-02-28 matitawebcommit by user andrea
2012-02-28 matitawebcommit by user andrea
2012-02-28 matitawebcommit by user utente2
2012-02-28 matitawebcommit by user andrea
2012-02-27 Ferruccio Guidisome additions to Basic_2
2012-02-27 Ferruccio Guidi- property S6 of stronfly normalizing terms proved
2012-02-24 Ferruccio Guidisite update
2012-02-24 Ferruccio Guidi- we added a web page (Apps_2) for the checked applicat...
2012-02-24 Ferruccio Guidi- "functional" component moved to Apps_2
2012-02-23 matitawebcommit by user andrea
2012-02-23 Wilmer Ricciottirefiner porting from matita 1.
2012-02-22 matitawebIntegrations
2012-02-22 matitawebComplete outline. Raw scripts.
2012-02-21 Ferruccio Guidi- more properties on strongly normalizing terms ...
2012-02-21 Ferruccio Guidi- site update
2012-02-20 Ferruccio Guidiadditions to Basic_2 ...
2012-02-20 Ferruccio Guidiinitial properies of the "same top term constructor...
2012-02-18 Ferruccio Guidimore results on strongly normalizing terms
2012-02-14 Ferruccio Guidiadditions to Basic_2
next