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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 10 Feb 2020 11:17:42 +0000 (12:17 +0100)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 10 Feb 2020 11:17:42 +0000 (12:17 +0100)
commit	456a157eba1428fd4ec02713e60ac2b653a0e0b0
tree	64d7b6b60921a2c0087f59ac02ccb92e6cefecb2	tree \| snapshot
parent	4d3256c98f816a2d2dc7b97557b61364e18d0806	commit \| diff

update in binaries for λδ

+ roles: updated status allows smarter semantics of option -a
+ roles: bug fixed in option -d
+ roles: improved web interface
+ roles: some typos fixed
+ roles.osn: wip

12 files changed:

matita/matita/contribs/lambdadelta/bin/roles/roles.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesEngine.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesEngine.mli		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesOutput.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesParser.mly		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesUtils.mli		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/roles.osn		diff \| blob \| history

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

RSS Atom