Skip to content

No labels!

There aren’t any labels for this repository quite yet.

23 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
27
build system
build system
20
devel
devel
Pertains to issues on the devel branch
2
development workflow
development workflow
3
documentation
documentation
21
Done -> Florian2Verify
Done -> Florian2Verify
duplicate
duplicate
enhancement
enhancement
24
FlorianSaysItShouldBeDone
FlorianSaysItShouldBeDone
8
FrameIT
FrameIT
Evereything with the FrameIT project
1
help wanted
help wanted
4
invalid
invalid
LFS
LFS
1
MathHub
MathHub
5
needs-design
needs-design
37
parser-lexer
parser-lexer
Parser, lexer or notation related issues
5
priority
priority
6
question
question
4
refactoring
refactoring
Refactoring (tools) related code/issues
1
stex-importer
stex-importer
6
systems-meeting
systems-meeting
To be discussed in the KWARC system meeting soon.
3
type checker
type checker
Bugs related to the typechecker (incl. false positives and false negatives)
4
wontfix
wontfix