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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 18 Jan 2020 22:20:28 +0000 (23:20 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 18 Jan 2020 22:20:28 +0000 (23:20 +0100)
commit	076439def28e649ec384fae038ed021dadd5f75c
tree	b6a66f67940be28e738aa062b8d67a9346a8173f	tree \| snapshot
parent	d2545ffd201b1aa49887313791386add78fa8603	commit \| diff

update in lambdadelta

+ probe: name listing with clash analysis
+ lambdadelta: name clashes removed from λδ-2A and λδ-2B

28 files changed:

matita/components/binaries/probe/engine.ml		diff \| blob \| history
matita/components/binaries/probe/engine.mli		diff \| blob \| history
matita/components/binaries/probe/matitaList.ml		diff \| blob \| history
matita/components/binaries/probe/matitaList.mli		diff \| blob \| history
matita/components/binaries/probe/matitaRemove.ml		diff \| blob \| history
matita/components/binaries/probe/matitaRemove.mli		diff \| blob \| history
matita/components/binaries/probe/nCicScan.ml		diff \| blob \| history
matita/components/binaries/probe/nCicScan.mli		diff \| blob \| history
matita/components/binaries/probe/options.ml		diff \| blob \| history
matita/components/binaries/probe/options.mli		diff \| blob \| history
matita/components/binaries/probe/probe.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1A/names.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lprs_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_equivalence/cpcs_lprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/grammar/aarity.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/names.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2A/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/names.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/names.txt	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/feqx_req.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/fsle_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq.ma		diff \| blob \| history

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

RSS Atom