let
is_interactive =
function
|
"coqide"
->
true
|
_
->
false