]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1971c3) | patch
Modified Files:
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Dec 2000 18:32:52 +0000 (18:32 +0000)
commit49bed84eef2cb54965d55801cb537bf903a707f5
tree3a0c8e923a8ac360ccef5b9f3793b0bca42a5724tree | snapshot
parentc1971c343031ce877f4c70d587154f77d7a76b2bcommit | diff
Modified Files:
install: updated to copy math engine configuration files
helm/configuration/install diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.