John MacFarlane eff82cfe4d Markdown reader: avoid duplicate ids with auto_identifiers. ...

We previously avoided generating a duplicate with another automatically
generated identifier; now we also avoid duplicates with explicit
identifiers that occur before the header for which an identifier
is being generated.  (Collisions are still possible for identifiers
that occur after the header.)

T.P.Shared: `makeSections` is also modified so it doesn't give
bad results when the enclosing Div has a different identifier
from the header, as may now happen.

2022-10-18 12:42:12 -07:00

..

Pandoc

Markdown reader: avoid duplicate ids with auto_identifiers.

2022-10-18 12:42:12 -07:00

Pandoc.hs

Separate out T.P.Data, T.P.Translations from T.P.Class. (#8348)

2022-10-03 13:05:38 -07:00