Aleksey Kladov af4e75533f Rename declaration_name -> display_name ...

Declaration names sounds like a name of declaration -- something you
can use for analysis. It empathically isn't, and is just a label
displayed in various UI. It's important not to confuse the two, least
we accidentally mix semantics with UI (I believe, there's already a
case of this in the FamousDefs at least).

2020-10-20 15:38:11 +02:00

..

src

Rename declaration_name -> display_name

2020-10-20 15:38:11 +02:00

Cargo.toml

Tease apart orthogonal concerns in markdown link rewriting

2020-08-26 20:24:00 +02:00