]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17c5ad8) | patch
256 chars max ==> 1024 chars max (because of Coq)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2005 14:52:51 +0000 (14:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2005 14:52:51 +0000 (14:52 +0000)
commitac42dcaa39715c44e2e4f4c989b49d9929294fc0
treee8c6ab0b5ff660ad9d933141cad3ad935c6088edtree | snapshot
parent17c5ad881e737bd2cba2e157f346a618fce87204commit | diff
256 chars max ==> 1024 chars max (because of Coq)
helm/searchEngine/html/moogle_form.html.src diff | blob | history
helm/searchEngine/html/moogle_init.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.