]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: faf328f) | patch
Interface file created. Missing from previous commit.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Aug 2002 14:18:31 +0000 (14:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Aug 2002 14:18:31 +0000 (14:18 +0000)
commit51d3266e2e5b7da235ac10dd683e00f4874ea4df
tree8694fdc429cdad1f9319f7e65fb1ffd0a509d097tree | snapshot
parentfaf328f5779a7281c9c0588680b1b7bb89ae7640commit | diff
Interface file created. Missing from previous commit.
helm/gTopLevel/logicalOperations.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.