]> matita.cs.unibo.it Git - helm.git/commit
mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment
authorLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 18:14:46 +0000 (18:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 18:14:46 +0000 (18:14 +0000)
commit4f5659f8a8c64c3a759c773d0bea1c7fdac3e116
tree3cd975d78dcb4337005c046b379b1919531c24fd
parent391d7db59bbfaeb21e959c9b6630c541705f6040
mkindex.pl use_webeqp.pl webeq.pl webeqp.pl : helm root from environment
helm/cgi/mkindex.pl
helm/cgi/use_webeqp.pl
helm/cgi/webeq.pl
helm/cgi/webeqp.pl