]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c02d503) | patch
Residual interface bug fixes: no sequent page is now forced twice.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Nov 2002 15:18:57 +0000 (15:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Nov 2002 15:18:57 +0000 (15:18 +0000)
commitf34bc0b72322bb54bfa540c7c3cfe5a7adb2813c
treeb829ae05dd50fdddafd0cba56946e014b714cb89tree | snapshot
parentc02d503febfeba8abfffa66385b296d92862ab3ecommit | diff
Residual interface bug fixes: no sequent page is now forced twice.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.