Expand Tools and Help menu
Registered by
Danil Sokolov
Expand Tools menu with synthesis in standard and generalised C-eleemnts using MPSat. Add Tutorials and About items to the Help menu.
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- Low
- Drafter:
- Danil Sokolov
- Direction:
- Needs approval
- Assignee:
- Danil Sokolov
- Definition:
- Approved
- Series goal:
- None
- Implementation:
- Implemented
- Milestone target:
- 3.0.1
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Whiteboard
(?)