]> matita.cs.unibo.it Git - helm.git/commit
added pruning option in autogui
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 May 2007 11:03:51 +0000 (11:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 May 2007 11:03:51 +0000 (11:03 +0000)
commitac2c05500dd7c9df5ddf43d809fdd56722beef00
tree62eeb8840ed278707f4f2398027f4ded2974ba86
parentdd4b01b7fbd69a4af86ec5d41eb5da39a27e4a64
added pruning option in autogui
components/tactics/auto.ml
components/tactics/auto.mli
components/tactics/tactics.mli
matita/Makefile
matita/matitaAutoGui.ml
matita/matitaScript.ml