]> matita.cs.unibo.it Git - helm.git/commit - helm/interface/mmlinterface.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1163ae) | patch
Unstable commit: just before removing next/prev functionalities
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Apr 2001 11:00:59 +0000 (11:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Apr 2001 11:00:59 +0000 (11:00 +0000)
commit55b6c7c60e7406f06b324fb5b0eb0f34dacf3dfc
treea2ea6f64a3f43b2923d8c15e2784978656c0faabtree | snapshot
parente1163ae835a7aa947680b27229a6452385a7eac1commit | diff
Unstable commit: just before removing next/prev functionalities
helm/interface/mmlinterface.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.