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

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

2018-04-30	Ferruccio Guidi	initial definition of λδ model	blob \| commitdiff \| raw
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.