2016-06-07 Isabelleが起動しない Isabelle ハマリ所 Isabelle/jEditを終了してもスマトラPDFは残るが、このスマトラPDFがいると、Isabelle/jEditは起動しないようだ。事情は謎。