HomeIsabelle/Phabricator

support for Springer LLNCS with demo document;