]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f1fa17) | patch
- big interface changes: open goals are now collected in a notebook
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Nov 2002 12:18:21 +0000 (12:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Nov 2002 12:18:21 +0000 (12:18 +0000)
commit1dd5176f6d6a6247ebf941a1f6319a909f43d5fc
tree61cce7835429203ed14390645d0f3dd050bc8ec9tree | snapshot
parent4f1fa17a0ed1f22414536c115e11f0e6da3d88aacommit | diff
- big interface changes: open goals are now collected in a notebook
- the code is less functional than before ;-(

Open bugs/features:
 - the notebook page is re-generated (and stylesheets are applied again)
   even if it was already full
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.