Issues (1–2 of 2)

Title	T	P	Status	Votes	Assignee	Milestone	Version	Created	Updated	Actions
#2551: include RePriMand in the ET	enhancement	major	resolved		Roland Haas	ET_2021_11	development version	2021-08-09	2022-01-07
#2538: Inclusion of kuibit	enhancement	major	resolved		Yosef Zlochower	ET_2021_11	development version	2021-06-04	2021-12-16