Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T1

Support for Mercurial tags
Closed, WontfixPublic
Actions

Description

Mercurial tags --- the committed content of .hgtags --- appear to be disregarded by Diffusion. Is this a configuration problem or a fundamental limitation?

Related Objects

Event Timeline

makarius triaged this task as Normal priority.Sep 24 2019, 10:19 PM
makarius created this task.
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Administrators".
makarius claimed this task.Sep 25 2019, 1:53 PM
makarius added a comment.Sep 25 2019, 10:24 PM

The Phabricator service of the Mercurial project shows the same omission. So it looks like .hgtags are not supported by Diffusion (yet?).

makarius lowered the priority of this task from Normal to Wishlist.Sep 26 2019, 4:07 PM

An easy workaround is to refer to the hgweb mirror of the same repository: https://isabelle.sketis.net/repos/isabelle/tags

makarius changed the edit policy from "Administrators" to "Task Author".Sep 30 2019, 4:47 PM
makarius closed this task as Wontfix.Nov 12 2019, 8:39 PM
makarius mentioned this in rISABELLE76bb6dd505c0: obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);.Sep 28 2020, 10:26 PM
makarius mentioned this in rISABELLE299f6a8faccc: proper type-setting of cartouches (requires T1);.Mar 10 2021, 11:23 PM
makarius mentioned this in rISABELLE9939146b90ad: proper \usepackage[T1]{fontenc};.
makarius mentioned this in rAFP1a42ddd5dbbc: adapted to LuaLaTeX according to Isabelle/299f6a8faccc;.
Andreas Lochbihler <mail@andreas-lochbihler.de> mentioned this in rAFP9cf49cbf016c: switch new entries' documents to T1 encoding.Mar 16 2021, 7:46 AM
Andreas Lochbihler <mail@andreas-lochbihler.de> mentioned this in rAFPa8a03d5e5117: T1 fontenc for new entries.Jul 8 2021, 9:31 PM