]> matita.cs.unibo.it Git - helm.git/commit
textual term editor is now the default one
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:28:58 +0000 (12:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Feb 2004 12:28:58 +0000 (12:28 +0000)
commitf9b73cf28065e4ed65f4dadc3d4e519b453ae7a8
tree798dc7dc2353adeae2a97b0b2fb140ef983ce8e1
parentde9aae3754cc79baadb00d62a6433579d621e301
textual term editor is now the default one
helm/ocaml/configure.ac