Labels

20 labels

Bounty
Bounty
Bug
Bug
Build/Holmake
Build/Holmake
Datatype Definition
Datatype Definition
Development
Development
Documentation
Documentation
Editor modes
Editor modes
Good first issue
Good first issue
Higher Priority
Higher Priority
Kernel
Kernel
Low Priority
Low Priority
Needs More Info
Needs More Info
The issue can't be addressed without further information from the reporter.
Not an Issue
Not an Issue
Printing-Parsing
Printing-Parsing
Simplifier
Simplifier
Tactics/DPs
Tactics/DPs
TFL
TFL
Theories
Theories
Won't Fix
Won't Fix
Working as Intended
Working as Intended