]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc9aab4) | patch
Interface improvements: the window to disambiguate uris is now reasonable.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Nov 2002 19:04:39 +0000 (19:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Nov 2002 19:04:39 +0000 (19:04 +0000)
commit85eee63b8b022bb73aaf4784b3d66262ed981e09
tree7938354c4e643b20d04bf548822267ccab390793tree | snapshot
parentdc9aab4ebfab88492cbaef935c79221f648d8313commit | diff
Interface improvements: the window to disambiguate uris is now reasonable.

TODO: the stylesheets should be applied lazily for the pages of the notebook
 of the check window.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.