Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • Frama-C
    Decoder / pkm-api
  • PKM Metamodel
    Decoder / pkm-api