-
Makarius Wenzel authored
clarified jEdit server mode: start "isabelle why3_jedit" first and let why3ide connect to via "isabelle why3 -i jedit"
a5e3315a
clarified jEdit server mode: start "isabelle why3_jedit" first and let why3ide connect to via "isabelle why3 -i jedit"