RODIN Bugs

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

Group 3.3 Maximize Restore

Status: Open

Due Date: N/A

Progress: 10 / 11

Planned for 3.3

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
771	Proof view: unreadable formulas (white on white)	3.3	closed-fixed		2017-10-16	2018-03-07
766	Post tactic does not discharge goal occurring in hyp	3.3	closed-works-for-me	Laurent Voisin	2017-03-14	2017-03-14
765	Generalized Modus Ponens turns goal into "false"	3.3	closed-fixed	Laurent Voisin	2017-03-13	2018-09-19
764	Generalized Modus Ponens leads to unprovable sub-goal	3.3	closed-fixed	Laurent Voisin	2017-03-07	2017-03-08
763	Some symbols do not display properly in the symbols panel	3.3	closed-fixed	Laurent Voisin	2017-02-22	2017-03-01
762	Symbols for total and partial surjection	3.3	closed-fixed	Son Hoang	2017-02-22	2017-03-13
761	Can't start rodin on ubuntu !	3.3	closed-works-for-me		2017-01-30	2017-01-31
759	Rule details view not refreshed	3.3	closed-fixed	Nicolas Beauger	2016-06-14	2016-06-29
757	Error when cloning a specialization	3.3	closed-fixed	Laurent Voisin	2016-04-25	2016-04-25
753	Section color preferences are not taken into account	3.3	closed-fixed	Thomas Muller	2015-06-29	2018-09-19
732	Disappearing proof obligations in Explorer	3.3	open		2015-01-26	2015-11-05

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels

(applies to this page only)