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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: de3a41b) | patch

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 1 Nov 2018 08:48:50 +0000 (09:48 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 1 Nov 2018 08:48:50 +0000 (09:48 +0100)
commit	084ea7868f6153effc18e8ee1c0e6cdb34d181c0
tree	1f276a2c7225f261a7a5e586ebced52c89954094	tree \| snapshot
parent	de3a41b9a4e51dc1b09adce800273adf5ffa1215	commit \| diff

milestone uupdate in basic_2

extended and restricted type rules justified

15 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cpms_cpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/notes.txt	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_etc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_ind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta_extra.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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