[isabelle] -l flag



It seems as if

  $ isabelle emacs -l image file

does not work as

  $ Isabelle -l image file

did. I do not get any error-message, but end up using the Default image. What is the new way of specifying the image to use on startup?

cheers

christian





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.