]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b564f06) | patch
Now the on-line interface can use a Getter and an UWOBO on any machine
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Mar 2001 17:02:42 +0000 (17:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 7 Mar 2001 17:02:42 +0000 (17:02 +0000)
commit1c693fc961f678220df64a5ba098ba10906828f0
tree50a5b029646bc42f18354e11657809165683b4a6tree | snapshot
parentb564f0671c133928e372e352d972a7663b6a9136commit | diff
Now the on-line interface can use a Getter and an UWOBO on any machine
helm/cgi/mkcontrol.pl diff | blob | history
helm/cgi/mkindex.pl diff | blob | history
helm/cgi/mkindexcic.pl diff | blob | history
helm/cgi/mkindextheory.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.