]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fe29ab) | patch
The scratch window is now based on the sequent_viewer widget.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 31 Jan 2003 18:44:20 +0000 (18:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 31 Jan 2003 18:44:20 +0000 (18:44 +0000)
commit2da9c5cef39f1512fc604adb30e9b0ecae4b2881
tree12db5f7074e608bfbc296bd74f51bd6561ff8fe3tree | snapshot
parent7fe29ab0adae7bbd2589630b1c5363daf62100c9commit | diff
The scratch window is now based on the sequent_viewer widget.
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/invokeTactics.ml diff | blob | history
helm/gTopLevel/invokeTactics.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.