Labels

• bug
• build system
• devel

  Pertains to issues on the devel branch
• development workflow
• documentation
• Done -> Florian2Verify
• duplicate
• enhancement
• FlorianSaysItShouldBeDone
• FrameIT

  Evereything with the FrameIT project
• help wanted
• invalid
• LFS
• MathHub
• needs-design
• parser-lexer

  Parser, lexer or notation related issues
• priority
• question
• refactoring

  Refactoring (tools) related code/issues
• stex-importer
• systems-meeting

  To be discussed in the KWARC system meeting soon.
• type checker

  Bugs related to the typechecker (incl. false positives and false negatives)
• wontfix