[isabelle-dev] Phabricator for Isabelle development

Kevin Kappelmann kevin.kappelmann at tum.de
Wed Sep 25 23:37:14 CEST 2019

That's great news - thanks for setting that up Makarius!

> Here is an example for "Tasks": https://phabricator.sketis.net/T2
> It is in resolved state. The final message "See Isabelle/5094098f5e0c"
> uses my usual formal jargon to refer to well-defined points within an
> immutable history. Phabricator understands that and turns it into a link
> to the corresponding changeset in the Isabelle repository.

I sadly do not see a link in given task.

BTW. what's the difference between isabelle-repository and isabelle-dev?

Best wishes,


More information about the isabelle-dev mailing list