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

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

[helm.git] / helm / www / lambda_delta / web / home / ld_basic_2.tbl

2012-01-29	Ferruccio Guidi	more files added to Basic_2	blob \| commitdiff \| raw
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