Re: [isabelle] Isabelle2014-RC0 available for testing



On Mon, 7 Jul 2014, Gerwin Klein wrote:

- on the Mac, by default the Isabelle app is not associated with .thy
  files (which is fine). If you do associate it manually, and either
  “open file.thy” on the command line, or double click a .thy file in
  Finder, Isabelle/jedit comes up, but loads Scratch.thy. This was
  already the case in 2013-2, I just forgot about it again. There is
  probably just some command line argument that needs to be passed to
  isabelle jedit in the Mac application magic.

Lack of file associations is a known and documented property of the 1.0 app launcher by Oracke that was used here. In that respect it should be exactly the same behaviour as in Isabelle2013-2, which seems to be the case.


	Makarius


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