issues
search
ggrov
/
tinker
Graph based proof strategy language
http://ggrov.github.io/tinker/
6
stars
0
forks
source link
logging information display panel & config
#46
Closed
lyhlbyl
closed
8 years ago
lyhlbyl
commented
9 years ago
configurable logging display panel in the GUI (see #20 and #19 )
[x] show logging information during eval session
[x] configure the desirable logging information, e.g.
all
,
goaltype
,
none
configurable logging display panel in the GUI (see #20 and #19 )