]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ab193f) | patch
Major interface improvements.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Nov 2002 09:58:46 +0000 (09:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Nov 2002 09:58:46 +0000 (09:58 +0000)
commit97361ee59354e573e5df31bba78e8e6cda67906d
tree825023c1b892d1364f1ec94bfc11fa44ac2f4ca2tree | snapshot
parent6ab193f88745acd3def85e47d643a92efb2f9fc5commit | diff
Major interface improvements.
The aim is to substitute the GEdit widget to input text with a widget to
input Cic terms.
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.