HomeIsabelle/Phabricator

Switch to using compiled call-back functions.