]> matita.cs.unibo.it Git - helm.git/commit
first moogle template checkin
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 19 May 2004 14:39:42 +0000 (14:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 19 May 2004 14:39:42 +0000 (14:39 +0000)
commit5325734bc2e4927ed7ec146e35a6f0f2b49f50c1
tree81506f0d661b30bb500cabdaae4220bd2275d376
parent67986b7634e9fa1ca1583d9b44092d62d299edef
first moogle template checkin
helm/searchEngine/html/moogle.html [new file with mode: 0644]