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