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, 25 Jan 2020 21:36:39 +0000 (22:36 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Sat, 25 Jan 2020 21:36:39 +0000 (22:36 +0100)
commit	a1ae862976f2489107dd107937f5e05d0aaa7144
tree	80b316a2389627f00623e54a84d99a221a9b7d09	tree \| snapshot
parent	076439def28e649ec384fae038ed021dadd5f75c	commit \| diff

update in basic_2 + new tool "roles"

+ cpg_drops.ma: a proof updated
+ roles: new tool for managing names (-r -s -t -w)
+ names.txt: updated
+ probe: output URI syntax updated

22 files changed:

matita/components/binaries/probe/engine.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_1A/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2A/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/Makefile	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/roles.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/roles.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesEngine.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesEngine.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesOutput.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesOutput.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/names.txt		diff \| blob \| history

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

RSS Atom