make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
Isabelle application bundle for MacOS
=====================================
Requirements:
* CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/
* Platypus 4.7 http://www.sveinbjorn.org/platypus
Preferences: Install command line tool
* final packaging:
hdiutil create -srcfolder DIR DMG