Skip to:
Top Bar
Sidebar
Main Content
Collapse sidebar [
Switch sites or apps
Search
Create
Help
Spaces
Filters
Dashboards
Resize side navigation panel
Spaces
ProB 2.0
PROBCORE-925
Dead code in Theory Extractor
Resolved
Fixed
Add or create work related to this work item
View app actions
Collapse Description fields
Description fields
Description
line 170, See FIXME
Environment
None
Gliffy Diagrams
More actions for Gliffy Diagrams
Collapse Activity
Activity
All
Comments
History
Transitions
Summarize
Newest first
Michelle Werth
March 15, 2017 at 12:40 PM
Jenkins Build Server
November 2, 2016 at 8:32 PM
Jenkins Build Server
November 2, 2016 at 8:32 PM
Resize work item view side panel
Actions
Automation
Improve work item
Details
Assignee
Jens Bendisposto
Jens Bendisposto
Reporter
Jens Bendisposto
Jens Bendisposto
Priority
Minor
Created
November 2, 2016 at 3:53 AM
Updated
March 15, 2017 at 12:40 PM
Resolved
March 15, 2017 at 12:40 PM
Minor
MinorMinor
line 170, See FIXME