]> matita.cs.unibo.it Git - helm.git/commit
VERY EXPERIMENTAL:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Dec 2010 14:42:08 +0000 (14:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Dec 2010 14:42:08 +0000 (14:42 +0000)
commit0c69106b8cf67a0baad545a9d7b0816b2b7de8ac
treee48e73bb7adb5ea8950ba6a476244a27950746d5
parente989997724df0d1b075817d71b70d0a066fe403e
VERY EXPERIMENTAL:

first version of Matita as a Tabbed Document Interface.

The semantics of working on two tabs at the same time is not defined
(yet? ...)
12 files changed:
matita/matita/.depend
matita/matita/.depend.opt
matita/matita/Makefile
matita/matita/cicMathView.ml
matita/matita/matita.glade
matita/matita/matita.ml
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaMathView.ml
matita/matita/matitaMathView.mli
matita/matita/matitaScript.ml
matita/matita/matitaScript.mli