]> matita.cs.unibo.it Git - helm.git/commit
add conf key matita.debug_menu
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Jul 2008 11:47:15 +0000 (11:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Jul 2008 11:47:15 +0000 (11:47 +0000)
commit831f51f3a0a972c741705dcc3244e79fe6c1b634
tree3e1d1726ec5176d4a9de91c667281bcdf82e5f35
parent046ec6faa84164da05d6ec234e68fd2978e70ecf
add conf key matita.debug_menu
helm/software/matita/matita.ml
helm/software/matita/matitaInit.ml