Theory ML_GraphViz_Disable

theory ML_GraphViz_Disable
imports ML_GraphViz
begin

ML‹
Graphviz.open_viewer := DoNothing
›

end