matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2012-03-07	matitaweb	Removed re.ma and re1.ma	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-07	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user ricciott	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit 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	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	Removed gif	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	chapter 9	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	Pictures	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	Small 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	matitaweb	chapter 9 and 10	commit \| commitdiff \| tree \| snapshot
2012-03-06	matitaweb	commit 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	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	Splitted chapter 7	commit \| commitdiff \| tree \| snapshot
2012-03-02	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-01	Ferruccio Guidi	missing files in the former commit :(	commit \| commitdiff \| tree \| snapshot
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-03-01	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-29	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user utente2	commit \| commitdiff \| tree \| snapshot
2012-02-28	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-27	Ferruccio Guidi	some additions to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-02-27	Ferruccio Guidi	- property S6 of stronfly normalizing terms proved	commit \| commitdiff \| tree \| snapshot
2012-02-24	Ferruccio Guidi	site update	commit \| commitdiff \| tree \| snapshot
2012-02-24	Ferruccio Guidi	- we added a web page (Apps_2) for the checked applicat...	commit \| commitdiff \| tree \| snapshot
2012-02-24	Ferruccio Guidi	- "functional" component moved to Apps_2	commit \| commitdiff \| tree \| snapshot
2012-02-23	matitaweb	commit by user andrea	commit \| commitdiff \| tree \| snapshot
2012-02-23	Wilmer Ricciotti	refiner porting from matita 1.	commit \| commitdiff \| tree \| snapshot
2012-02-22	matitaweb	Integrations	commit \| commitdiff \| tree \| snapshot
2012-02-22	matitaweb	Complete outline. Raw scripts.	commit \| commitdiff \| tree \| snapshot
2012-02-21	Ferruccio Guidi	- more properties on strongly normalizing terms ...	commit \| commitdiff \| tree \| snapshot
2012-02-21	Ferruccio Guidi	- site update	commit \| commitdiff \| tree \| snapshot
2012-02-20	Ferruccio Guidi	additions to Basic_2 ...	commit \| commitdiff \| tree \| snapshot
2012-02-20	Ferruccio Guidi	initial properies of the "same top term constructor...	commit \| commitdiff \| tree \| snapshot
2012-02-18	Ferruccio Guidi	more results on strongly normalizing terms	commit \| commitdiff \| tree \| snapshot
2012-02-14	Ferruccio Guidi	additions to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-02-14	Ferruccio Guidi	- more properties on strongly normalizing terms	commit \| commitdiff \| tree \| snapshot
2012-02-11	Ferruccio Guidi	additions to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-02-11	Ferruccio Guidi	- strong normalization of abbreviation proved	commit \| commitdiff \| tree \| snapshot
2012-02-09	Ferruccio Guidi	- design table for Basic_2	commit \| commitdiff \| tree \| snapshot
2012-02-09	Ferruccio Guidi	- first properties of strongly normalizing terms	commit \| commitdiff \| tree \| snapshot
2012-02-02	Ferruccio Guidi	- one file and three lemmas added to Basic 2	commit \| commitdiff \| tree \| snapshot
2012-02-02	Ferruccio Guidi	- three lemmas on context sensitive parallel reduction...	commit \| commitdiff \| tree \| snapshot
2012-02-01	Ferruccio Guidi	- notation fix for reducible and normal forms	commit \| commitdiff \| tree \| snapshot
2012-02-01	Ferruccio Guidi	the Basic_2 page was not regenerated ...	commit \| commitdiff \| tree \| snapshot
2012-02-01	Ferruccio Guidi	we added summary and timeline to the Basic_2 page	commit \| commitdiff \| tree \| snapshot
2012-01-31	Claudio Sacerdoti...	Notation for destructuring let-in for triples fixed.	commit \| commitdiff \| tree \| snapshot
2012-01-29	Ferruccio Guidi	- transitivity of lenv refinement for atomic arity...	commit \| commitdiff \| tree \| snapshot
2012-01-29	Ferruccio Guidi	more files added to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-27	Ferruccio Guidi	support for abstract candidates of reducibility closed...	commit \| commitdiff \| tree \| snapshot
2012-01-27	Ferruccio Guidi	more files added to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-27	Wilmer Ricciotti	Fixes a bug in is_flexible (when checking a meta in...	commit \| commitdiff \| tree \| snapshot
2012-01-27	Claudio Sacerdoti...	Better error messages.	commit \| commitdiff \| tree \| snapshot
2012-01-26	Ferruccio Guidi	- one file added to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-26	Ferruccio Guidi	- main lemmas about abstract reducibility candidates...	commit \| commitdiff \| tree \| snapshot
2012-01-23	Wilmer Ricciotti	Inversion principles generation falls back to cases...	commit \| commitdiff \| tree \| snapshot
2012-01-21	Ferruccio Guidi	big fixin the structure of Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-21	Ferruccio Guidi	more files to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-21	Ferruccio Guidi	- main proof for strong normalization closed! ...	commit \| commitdiff \| tree \| snapshot
2012-01-19	Ferruccio Guidi	closure property S4 added to abstract candidates of...	commit \| commitdiff \| tree \| snapshot
2012-01-16	Ferruccio Guidi	the support for candidates of reducibility continues ...	commit \| commitdiff \| tree \| snapshot
2012-01-16	Ferruccio Guidi	some additionsand refactoring in Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-13	Ferruccio Guidi	more file names added to Basic_2	commit \| commitdiff \| tree \| snapshot
2012-01-13	Ferruccio Guidi	- the development of abstract reducibility candidates...	commit \| commitdiff \| tree \| snapshot
2012-01-12	Wilmer Ricciotti	Improves the presentation of hypotheses in the goal...	commit \| commitdiff \| tree \| snapshot
2012-01-11	Wilmer Ricciotti	Fixes r11788 (partial, thus broken commit).	commit \| commitdiff \| tree \| snapshot
2012-01-10	Ferruccio Guidi	unpatched version for the new CamplP5	commit \| commitdiff \| tree \| snapshot
2012-01-10	Ferruccio Guidi	patched version for old CamlP5	commit \| commitdiff \| tree \| snapshot
2012-01-10	Wilmer Ricciotti	Bugfix: NCicUnification.could_reduce now performs whd...	commit \| commitdiff \| tree \| snapshot
2012-01-10	Andrea Asperti	A complete snapshot for re	commit \| commitdiff \| tree \| snapshot
2012-01-08	Ferruccio Guidi	more characters shortcuts	commit \| commitdiff \| tree \| snapshot
2012-01-08	Ferruccio Guidi	Basic_2: restyling and more notation	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom