]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5e97ad) | patch
All exported names are now qualified. This avoids the need for "open" statements.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Nov 2007 17:25:25 +0000 (17:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 4 Nov 2007 17:25:25 +0000 (17:25 +0000)
commit0bb6d1ab1faf9fcad5cde39fb8e6b61f2f5695a3
tree1bd110cb8e73df153828efe2122b8fbdc037a2e5tree | snapshot
parentd5e97ad44a11aa8410f57aa8391e3b43ff766df0commit | diff
All exported names are now qualified. This avoids the need for "open" statements.
helm/software/components/cic_exportation/cicExportation.mli diff | blob | history
helm/software/components/tactics/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.