[isabelle-dev] PG 3.x vs. 4.x settings

[Lawrence Paulson]

Surely those files belong in the Isabelle app?
Larry

On 14 Dec 2012, at 14:02, Makarius <makarius at sketis.net> wrote:

> So we merely need to figure out where the .elc stuff is going: Is it in the component and deleted for other platforms?  Is it not in the component, but created by the administrative script that produces the Isabelle.app for Mac OS X?