In order to make this work with isabelle2018:
-
you need a Git version of Lem
-
make sure LEMLIB is set to the lib directory of your current Lem installation
-
make sure the current "lem" executable is in your PATH
-
run isabelle jedit as follows:
- isabelle jedit -d ./lem