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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Sat, 20 Jul 2019 20:13:45 +0000 (22:13 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Sat, 20 Jul 2019 20:13:45 +0000 (22:13 +0200)
commit	a454837a256907d2f83d42ced7be847e10361ea9
tree	2ae17fba7bc7f98dccf3f2c677f45661a6c8a117	tree \| snapshot
parent	b4283c079ed7069016b8d924bbc7e08872440829	commit \| diff

more additions and corrections for the article

+ fqu_clear excluded from (fqu true)
+ some renaming and changes of notation (esp. lsubsx)
+ more comments and additions to etc
+ matitadep: -b show the recursive backward dependences of a file

104 files changed:

matita/components/binaries/matitadep/matitadep.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_fpbg_refl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/rdsx_csx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sdsx/sdsx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sdsx/sdsx_rdsx.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lsubeqx_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/topredtysnstrong_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_lpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_jsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx_rsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx_lsubsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx_rdsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_csx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_drops.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_fqup.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_length.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rdsx_rdsx.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_csx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_lpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/rsx_rsx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpbq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpr_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lpx_fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/rpx_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/etc/scl/clearsn_3.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/etc/scl/scl.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/etc/scl/scl_scl.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/freeplus_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/notation/relations/freestar_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/lrsubeqf_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/supterm_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/supterm_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermopt_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermopt_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermplus_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermplus_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/suptermstar_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqup_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/s_transition/fquq_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/aaa_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fdeq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/frees_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf_lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsubf_lsubr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rdeq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_fsle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/rex_rex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom