matita.cs.unibo.it Git - helm.git/history - helm/www/lambda_delta/ld_basic

]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambda_delta/ld_basic_2.html

[helm.git] / helm / www / lambda_delta / ld_basic_2.html

2012-03-14	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw
2012-03-10	Ferruccio Guidi	generated web pages update	blob \| commitdiff \| raw \| diff to current
2012-03-09	Ferruccio Guidi	- update in Basic_2	blob \| commitdiff \| raw \| diff to current
2012-02-27	Ferruccio Guidi	some additions to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-02-24	Ferruccio Guidi	- we added a web page (Apps_2) for the checked applicat...	blob \| commitdiff \| raw \| diff to current
2012-02-20	Ferruccio Guidi	additions to Basic_2 ...	blob \| commitdiff \| raw \| diff to current
2012-02-14	Ferruccio Guidi	additions to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-02-11	Ferruccio Guidi	additions to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-02-09	Ferruccio Guidi	- design table for Basic_2	blob \| commitdiff \| raw \| diff to current
2012-02-02	Ferruccio Guidi	- one file and three lemmas added to Basic 2	blob \| commitdiff \| raw \| diff to current
2012-02-01	Ferruccio Guidi	the Basic_2 page was not regenerated ...	blob \| commitdiff \| raw \| diff to current
2012-02-01	Ferruccio Guidi	we added summary and timeline to the Basic_2 page	blob \| commitdiff \| raw \| diff to current
2012-01-29	Ferruccio Guidi	more files added to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-27	Ferruccio Guidi	more files added to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-26	Ferruccio Guidi	- one file added to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-21	Ferruccio Guidi	big fixin the structure of Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-21	Ferruccio Guidi	more files to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-16	Ferruccio Guidi	some additionsand refactoring in Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-13	Ferruccio Guidi	more file names added to Basic_2	blob \| commitdiff \| raw \| diff to current
2012-01-08	Ferruccio Guidi	Basic_2: restyling and more notation	blob \| commitdiff \| raw \| diff to current
2012-01-07	Ferruccio Guidi	Basic_2: - we addedsome files	blob \| commitdiff \| raw \| diff to current
2011-12-25	Ferruccio Guidi	Basic 2 page update	blob \| commitdiff \| raw \| diff to current
2011-12-20	Ferruccio Guidi	Basic_2 update ...	blob \| commitdiff \| raw \| diff to current
2011-12-12	Ferruccio Guidi	- we improved and updated the generated web pages	blob \| commitdiff \| raw \| diff to current
2011-12-06	Ferruccio Guidi	new files started ...	blob \| commitdiff \| raw \| diff to current
2011-11-21	Ferruccio Guidi	Basic_2 file names update	blob \| commitdiff \| raw \| diff to current
2011-11-14	Ferruccio Guidi	file names and description update	blob \| commitdiff \| raw \| diff to current
2011-11-05	Ferruccio Guidi	- file names update	blob \| commitdiff \| raw \| diff to current
2011-10-25	Ferruccio Guidi	-- some renaming in basic_2	blob \| commitdiff \| raw \| diff to current
2011-10-11	Ferruccio Guidi	update ...	blob \| commitdiff \| raw \| diff to current
2011-10-03	Ferruccio Guidi	- first version of xhtbl	blob \| commitdiff \| raw \| diff to current

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

RSS Atom