HomeIsabelle/Phabricator

support for Phabricator mail configuration;

Authored by makarius.

Description

support for Phabricator mail configuration;
discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;

Details

Committed
makariusNov 6 2019, 10:51 PM
Parents
rISABELLEd628bbdce79a: moved lemma
Branches
Unknown
Tags
Unknown