]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9861eb0) | patch
Matitaweb: added utility for conversion of user dbs from the old to the new
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 12 Dec 2011 15:37:38 +0000 (15:37 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 12 Dec 2011 15:37:38 +0000 (15:37 +0000)
commit3c86aa158f1a0464c877f2b4f1c0efb9494e0a47
tree6e70621abd30fa71799039f539417e0b65da057ftree | snapshot
parent9861eb06735d8a60c41687efea26ccd81c67b9c8commit | diff
Matitaweb: added utility for conversion of user dbs from the old to the new
format.
matitaB/matita/webdb_convert.ml [new file with mode: 0644] blob
matitaB/matita/webdb_convert.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.