maintain Completion_Popup.Text_Area as client property like Document_View;
global Completion_Popup.Text_Area init/exit like SideKickPlugin;
eliminated old SideKick completion -- cover all Isabelle modes uniformly;
dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;
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