support for Phabricator mail configuration;
discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd628bbdce79a: moved lemma
- Branches
- Unknown
- Tags