]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f34bc0b) | patch
* Bug fixed: a real empty page is now really used for the empty notebook.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Nov 2002 17:21:27 +0000 (17:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Nov 2002 17:21:27 +0000 (17:21 +0000)
commit295a06969c421f8b332dd0193815c0c4a675aff1
treea6677e0b1cd6000a088e40a09dde632149d3f456tree | snapshot
parentf34bc0b72322bb54bfa540c7c3cfe5a7adb2813ccommit | diff
* Bug fixed: a real empty page is now really used for the empty notebook.
  The Not_found exception is no more raised.
* Small interface improvements.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.