]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1ae862) | patch
update in binaries for λδ
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 29 Jan 2020 16:25:47 +0000 (17:25 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Wed, 29 Jan 2020 16:25:47 +0000 (17:25 +0100)
commitf5bc9206835d61109a72c7b973dad8dd21914950
treee8cf35cf255f9d09115ae8364ded813c22358f75tree | snapshot
parenta1ae862976f2489107dd107937f5e05d0aaa7144commit | diff
update in binaries for λδ

roles: option -a and initial status file for λδ
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.mli diff | blob | history
matita/matita/contribs/lambdadelta/bin/roles/rolesLexer.mll 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/roles.osn [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.