]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 035e3f5) | patch
Matitaweb: added a function MatitaAuthentication.get_users returning
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 19 Oct 2011 15:58:38 +0000 (15:58 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 19 Oct 2011 15:58:38 +0000 (15:58 +0000)
commit3b88d3315fe9a716d32cc51adb2e2d151cd447e8
treef2b854753e942f897b3369233d995738c95e059atree | snapshot
parent035e3f52f8da3cb3cdb493aa20568ad673cc2cf5commit | diff
Matitaweb: added a function MatitaAuthentication.get_users returning
the list of the registered users.
matitaB/matita/matitaAuthentication.ml diff | blob | history
matitaB/matita/matitaAuthentication.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.