]> matita.cs.unibo.it Git - helm.git/commit
Matitaweb: secure SHA-256 encryption for passwords.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 12 Dec 2011 15:27:04 +0000 (15:27 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 12 Dec 2011 15:27:04 +0000 (15:27 +0000)
commit4817bd316e113d1cb4573491293f10b1705e298c
tree74fc15664d6587478f0935287e62b20835aec30c
parent38e3401de20711596113c6ab0024efdd1fbe5018
Matitaweb: secure SHA-256 encryption for passwords.
Includes an utility for converting the user db to the new format.
matitaB/configure.ac
matitaB/matita/Makefile
matitaB/matita/matitaAuthentication.ml
matitaB/matita/matitaAuthentication.mli
matitaB/matita/matitaweb.js