]> matita.cs.unibo.it Git - helm.git/commit
First steps towards a multi-document interface.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Dec 2010 13:14:15 +0000 (13:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 Dec 2010 13:14:15 +0000 (13:14 +0000)
commit5d8d825b9bf6b3cf346ba8e81ffd0ac1e1902ecb
tree8ec4329b3022ebf8e2d692240b8d67590ba5be8a
parentb804ff9f8fba300ffaa54add291e0f6490b757ce
First steps towards a multi-document interface.
matita/matita/matita.glade
matita/matita/matita.ml
matita/matita/matitaGui.ml
matita/matita/matitaGuiTypes.mli
matita/matita/matitaScript.ml
matita/matita/matitaScript.mli