[isabelle-dev] Phabricator for Isabelle development

Makarius makarius at sketis.net
Thu Sep 26 10:30:25 CEST 2019

On 25/09/2019 23:37, Kevin Kappelmann wrote:
>> 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.

The link is over the "5094098f5e0c" in the text for the resolved status.

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

These "project tags" have their own description. I am still in the
process to figure out how this should be arranged. Whatever happens, I
will try to keep the descriptions up-to-date.


More information about the isabelle-dev mailing list