]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33b158a) | patch
Removed filename input box from index.html (just browse the library now).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 15:32:03 +0000 (15:32 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 15:32:03 +0000 (15:32 +0000)
commit89d112fde68f8b6268912f21da2c29f12cac5a39
tree7d73d29b071a778897df329635b6e83ac350dc7dtree | snapshot
parent33b158ac16dd1ab2b69fdf36092d66ecbc2a75edcommit | diff
Removed filename input box from index.html (just browse the library now).
matitaB/matita/index.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.