]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f07cd97) | patch
update in binaries for λδ
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 31 Jan 2020 20:12:57 +0000 (21:12 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Fri, 31 Jan 2020 20:12:57 +0000 (21:12 +0100)
commit2c9f4fddc259b09b6e71b18eef78f0bed38eeb14
tree5bd6e1381c3d1b1b82e59ad3c6b3659d64634f6etree | snapshot
parentf07cd97493f650ee779be874d1159c0e807f8273commit | diff
update in binaries for λδ

roles: initial infrastructure for the web interface
matita/matita/contribs/lambdadelta/bin/roles/roles.ml 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/webEngine.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/bin/roles/webEngine.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.