]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0038b00) | patch
configure.in : check for perl
authorLuca Padovani <luca.padovani@unito.it>
Fri, 19 Jan 2001 16:15:44 +0000 (16:15 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 19 Jan 2001 16:15:44 +0000 (16:15 +0000)
commit8f80848e339e75c5b6342af9a9ee91ce2d058aaa
treee7d98540fd9ee09e169f430898ca94dd46289922tree | snapshot
parent0038b00554c410244e938446562daa027762bc73commit | diff
configure.in : check for perl
getter.ml mmlinterface.ml : patch for compressed files
helm/interface/configure.in diff | blob | history
helm/interface/getter.ml diff | blob | history
helm/interface/mmlinterface.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.