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>
	Thu, 6 Feb 2020 10:37:08 +0000 (11:37 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 6 Feb 2020 10:37:08 +0000 (11:37 +0100)
commit	cfccf434a57e10848d74d06674af4ec9cef0f0ca
tree	d43a14713e6c3db6aff4f03400de6f1fa09cc791	tree \| snapshot
parent	7666f9dddfcaca5671dd25d3cd2095481968c7bf	commit \| diff

update in binaries for λδ

+ roles: improved web interface
+ roles: -C option improved
+ roles: bug fixed in read_waiting
+ roles.osn regenerated correctly

14 files changed:

matita/matita/contribs/lambdadelta/bin/roles/Makefile		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/roles.css		diff \| blob \| history
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/rolesGlobal.ml		diff \| blob \| history
matita/matita/contribs/lambdadelta/bin/roles/rolesGlobal.mli		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/bin/roles/webLWS.ml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/bin/roles/webLWS.mli	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/roles.osn		diff \| blob \| history

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

RSS Atom