HomeIsabelle/Phabricator

support for FoilTeX with demo document;