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

Lawrence Paulson lp15 at cam.ac.uk
Sat Dec 15 15:54:10 CET 2012

Surely those files belong in the Isabelle app?

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?

More information about the isabelle-dev mailing list