projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2012-03-27 Wilmer RicciottiMatitaweb: commit | commitdiff | tree | snapshot
2012-03-23 Ferruccio Guidiadditions in basic_2 commit | commitdiff | tree | snapshot
2012-03-23 Ferruccio Guidi- pts: we restored the former hierarchy commit | commitdiff | tree | snapshot
2012-03-23 Wilmer RicciottiMatitaweb: Fixes a bug in the extensible parser which... commit | commitdiff | tree | snapshot
2012-03-23 Wilmer RicciottiMatitaweb: Fixes a bug which prevented Mozilla from... commit | commitdiff | tree | snapshot
2012-03-23 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-23 matitawebcommit by user utente2 commit | commitdiff | tree | snapshot
2012-03-23 matitawebcommit by user commit | commitdiff | tree | snapshot
2012-03-23 matitawebcommit by user ricciott commit | commitdiff | tree | snapshot
2012-03-23 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-20 matitawebMatitaweb: commit | commitdiff | tree | snapshot
2012-03-19 Ferruccio Guidiadditions to basic_2 commit | commitdiff | tree | snapshot
2012-03-19 Ferruccio Guidi- basics: bug fix in Conf3, it was not generic enough commit | commitdiff | tree | snapshot
2012-03-17 Ferruccio Guidiupdate in basic_2 and apps_2 commit | commitdiff | tree | snapshot
2012-03-17 Ferruccio Guidi- basics: some support for abstract triangular confluen... commit | commitdiff | tree | snapshot
2012-03-15 Ferruccio Guidirenaming completed commit | commitdiff | tree | snapshot
2012-03-15 Ferruccio Guidisome renaming (ld_ prefix removed from file names) commit | commitdiff | tree | snapshot
2012-03-15 Ferruccio Guidisome renaming: ld_ prefix removed commit | commitdiff | tree | snapshot
2012-03-15 Ferruccio Guidimilestone update in basic_2! commit | commitdiff | tree | snapshot
2012-03-15 Ferruccio Guidi- lambda_delta: strong normalization of simply typed... commit | commitdiff | tree | snapshot
2012-03-15 matitawebManual commit (basics/core_notation.ma) commit | commitdiff | tree | snapshot
2012-03-14 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2012-03-14 Ferruccio Guidiproperty S2 of strongly normalizing terms proved! commit | commitdiff | tree | snapshot
2012-03-14 Ferruccio Guidi- property S4 of strongly normalizing term proved! commit | commitdiff | tree | snapshot
2012-03-13 matitawebmanual correction to tutorial/chapter2.ma commit | commitdiff | tree | snapshot
2012-03-12 Ferruccio Guidi- Properties S3 and S5 of context-sensitive strongly... commit | commitdiff | tree | snapshot
2012-03-12 matitaweb(no commit message) commit | commitdiff | tree | snapshot
2012-03-12 matitawebMatitaweb: commit | commitdiff | tree | snapshot
2012-03-11 Ferruccio Guidi- context-sensitive computation: more properties commit | commitdiff | tree | snapshot
2012-03-10 Ferruccio Guidigenerated web pages update commit | commitdiff | tree | snapshot
2012-03-10 Ferruccio Guidi- renaming completed! commit | commitdiff | tree | snapshot
2012-03-10 Ferruccio GuidiWe are decapitalizing the contributions' names ... commit | commitdiff | tree | snapshot
2012-03-09 Ferruccio Guidi- update in Basic_2 commit | commitdiff | tree | snapshot
2012-03-09 Ferruccio Guidi- lambda_delta: morew propertie in context-sensitive... commit | commitdiff | tree | snapshot
2012-03-09 Claudio Sacerdoti... Fixes bug where switching to a new tab the slider is... commit | commitdiff | tree | snapshot
2012-03-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-08 matitawebcommit by user utente2 commit | commitdiff | tree | snapshot
2012-03-08 matitawebcommit by user ricciott commit | commitdiff | tree | snapshot
2012-03-08 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-08 Andrea AspertiAxiom proved commit | commitdiff | tree | snapshot
2012-03-08 matitawebSectionin commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user utente2 commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-07 matitawebmore sections commit | commitdiff | tree | snapshot
2012-03-07 matitawebsmall changes commit | commitdiff | tree | snapshot
2012-03-07 matitawebTitols commit | commitdiff | tree | snapshot
2012-03-07 matitawebSections commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user utente2 commit | commitdiff | tree | snapshot
2012-03-07 matitawebsection in chapter 2 commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-07 matitawebAdded sections in chapter 1. commit | commitdiff | tree | snapshot
2012-03-07 matitawebRemoved re.ma and re1.ma commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-07 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user utente2 commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user ricciott commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 Claudio Sacerdoti... Forward compatibility with new releases of Camlp5. commit | commitdiff | tree | snapshot
2012-03-06 Claudio Sacerdoti... Workaround for a BSD bug (submitted by Boender). commit | commitdiff | tree | snapshot
2012-03-06 Claudio Sacerdoti... Bug fixed: horizontal scrolling now works correctly... commit | commitdiff | tree | snapshot
2012-03-06 Claudio Sacerdoti... MAJOR SPEED UP. The previous implementation of scrollin... commit | commitdiff | tree | snapshot
2012-03-06 Claudio Sacerdoti... Minor speed up in the code. commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebRemoved gif commit | commitdiff | tree | snapshot
2012-03-06 matitawebchapter 9 commit | commitdiff | tree | snapshot
2012-03-06 matitawebPictures commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-06 matitawebSmall changes commit | commitdiff | tree | snapshot
2012-03-06 Claudio Sacerdoti... Major speed-up improvement. Adding one callback per... commit | commitdiff | tree | snapshot
2012-03-06 matitawebchapter 9 and 10 commit | commitdiff | tree | snapshot
2012-03-06 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-04 Ferruccio Guidi- lambda_delta: "conversion" and "equivalence" componen... commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user utente2 commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-02 matitawebSplitted chapter 7 commit | commitdiff | tree | snapshot
2012-03-02 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-01 Ferruccio Guidimissing files in the former commit :( commit | commitdiff | tree | snapshot
2012-03-01 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-01 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-03-01 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-29 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-29 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-29 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-29 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-28 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-28 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-28 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
2012-02-28 matitawebcommit by user andrea commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.