HomeIsabelle/Phabricator

Switch to using the compiled call-back code.