>>> 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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
