[isabelle-dev] Phabricator for Isabelle development

[Kevin Kappelmann]

>>> 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.

I realised that the link is only visible for logged in users (you can
check using the private mode of your browser).

>> 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.

Thanks, got it.

On 26/09/2019 10:30, Makarius wrote:
> 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.
> 
> 
> 	Makarius
>