Top Questions

1. Isabelle/jEdit just starts with ~/Scratch.thy (or does not launch) by clicking .thy file or using open command in MacOS
   1 votes

   0 answers