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

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

2021-02-26	Ferruccio Guidi	propagating the arithmetics library, partial commit	blob \| commitdiff \| raw
2020-04-30	Ferruccio Guidi	decentralized notation in lambda	blob \| commitdiff \| raw \| diff to current
2020-02-27	Ferruccio Guidi	ground_2 released and permanently renamed as ground	blob \| commitdiff \| raw \| diff to current
2020-02-27	Ferruccio Guidi	milestone update in ground_2 and basic_2A	blob \| commitdiff \| raw \| diff to current
2020-01-17	Ferruccio Guidi	update in lambdadelta	blob \| commitdiff \| raw \| diff to current
2019-12-14	Ferruccio Guidi	web site update	blob \| commitdiff \| raw \| diff to current
2019-12-09	Ferruccio Guidi	grundlagen web pages updated	blob \| commitdiff \| raw \| diff to current
2019-11-18	Ferruccio Guidi	update for the article	blob \| commitdiff \| raw \| diff to current
2019-09-29	Ferruccio Guidi	Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...	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-18	Ferruccio Guidi	new web site page	blob \| commitdiff \| raw \| diff to current
2019-03-04	Ferruccio Guidi	first steps towards decidability of the validity predicate	blob \| commitdiff \| raw \| diff to current
2018-09-21	Ferruccio Guidi	milestone in basic_2, λδ-2A reconstructed	blob \| commitdiff \| raw \| diff to current
2018-07-02	Ferruccio Guidi	syntactic components detached from basic_2 become static_2	blob \| commitdiff \| raw \| diff to current
2018-06-06	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-30	Ferruccio Guidi	initial definition of λδ model	blob \| commitdiff \| raw \| diff to current
2018-02-15	Ferruccio Guidi	integrating the framework with fle ...	blob \| commitdiff \| raw \| diff to current
2018-01-30	Ferruccio Guidi	helena: updated prolog exportation to ld3 and ALT-0/PTS	blob \| commitdiff \| raw \| diff to current
2018-01-17	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-01-13	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-01-13	Ferruccio Guidi	\lambda\delta web site update for git	blob \| commitdiff \| raw \| diff to current
2018-01-09	Ferruccio Guidi	helena: warning removed and modifications for λΥP expor...	blob \| commitdiff \| raw \| diff to current
2018-01-09	Ferruccio Guidi	update in helena	blob \| commitdiff \| raw \| diff to current
2018-01-06	Ferruccio Guidi	update in ground_2 + \lambda\delta-related ignores	blob \| commitdiff \| raw \| diff to current
2018-01-05	Ferruccio Guidi	more files to ignore	blob \| commitdiff \| raw \| diff to current
2017-12-28	Claudio Sacerdoti...	added .gitignore	blob \| commitdiff \| raw \| diff to current

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

RSS Atom