matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / matita / matita / contribs / lambdadelta / apps_2 / web / apps_2_src.tbl

2018-07-19	Ferruccio Guidi	update in functional	blob \| commitdiff \| raw
2018-07-13	Ferruccio Guidi	update in static_2 and app_2	blob \| commitdiff \| raw \| diff to current
2018-07-11	Ferruccio Guidi	update in static_2 and app_2	blob \| commitdiff \| raw \| diff to current
2018-05-09	Ferruccio Guidi	update in groud_2 and models	blob \| commitdiff \| raw \| diff to current
2018-05-08	Ferruccio Guidi	update in grond_2 and models	blob \| commitdiff \| raw \| diff to current
2018-05-03	Ferruccio Guidi	update in ground_2 and models	blob \| commitdiff \| raw \| diff to current
2018-05-01	Ferruccio Guidi	update in models and ground_2	blob \| commitdiff \| raw \| diff to current
2017-10-25	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-10-16	Ferruccio Guidi	- exclusion binder added in local environments	blob \| commitdiff \| raw \| diff to current
2017-03-06	Ferruccio Guidi	- advances on lfxs for lfpxs	blob \| commitdiff \| raw \| diff to current
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	blob \| commitdiff \| raw \| diff to current
2014-08-07	Ferruccio Guidi	- bugfixed "aacr" allows to remove historical eta-conve...	blob \| commitdiff \| raw \| diff to current
2014-06-29	Ferruccio Guidi	- wrong version of drop was used in four places	blob \| commitdiff \| raw \| diff to current
2013-06-01	Ferruccio Guidi	- basic_2: induction for preservation results now uses...	blob \| commitdiff \| raw \| diff to current
2013-04-07	Ferruccio Guidi	- new component for restricted computation (delta,...	blob \| commitdiff \| raw \| diff to current
2013-03-10	Ferruccio Guidi	- improved Makefile esp. with the "trim" function	blob \| commitdiff \| raw \| diff to current
2013-03-09	Ferruccio Guidi	- lenv refinement for stratified native validity redefined	blob \| commitdiff \| raw \| diff to current

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