matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/web/home/home.ldw.xml

]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/web/home/home.ldw.xml

2019-12-11	Ferruccio Guidi	web site update	blob \| commitdiff \| raw
2019-12-06	Ferruccio Guidi	λδ web site update	blob \| commitdiff \| raw \| diff to current
2019-12-02	Ferruccio Guidi	updated web site	blob \| commitdiff \| raw \| diff to current
2019-10-14	Ferruccio Guidi	backport of WIP on \lambda\delta to matita 0.99.3	blob \| commitdiff \| raw \| diff to current
2019-10-01	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	blob \| commitdiff \| raw \| diff to current
2019-09-27	Claudio Sacerdoti...	Merge branch 'declarative' into matita-lablgtk3	blob \| commitdiff \| raw \| diff to current
2019-09-27	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	blob \| commitdiff \| raw \| diff to current
2019-01-08	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	blob \| commitdiff \| raw \| diff to current
2018-05-07	Ferruccio Guidi	update in apps_2	blob \| commitdiff \| raw \| diff to current
2018-04-20	Ferruccio Guidi	notational update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-16	Ferruccio Guidi	anniversary push	blob \| commitdiff \| raw \| diff to current
2017-10-10	Ferruccio Guidi	- web site update	blob \| commitdiff \| raw \| diff to current
2016-09-05	Ferruccio Guidi	one more paper citing \lambda\delta	blob \| commitdiff \| raw \| diff to current
2016-07-22	Ferruccio Guidi	site update	blob \| commitdiff \| raw \| diff to current

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