HomeIsabelle/Phabricator

add Windows example to use-instructions