Community Z Tools / Feature Requests

Feature Requests Maximize Restore

# 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	Priority▾ Sort A -> Z Sort Z -> A
43	ModelJUnit dependency on Maven Central	Next_Release_(example)	open	Andrius Velykis	2014-05-22	2014-05-22	5
42	auto-complete disable option	zeveseclipse	open	Andrius Velykis	2013-10-31	2013-10-31	5
41	Put CZT LaTeX resources on the website	Next_Release_(example)	open	Andrius Velykis	2013-05-30	2013-05-30	5
40	Usablility improvements	Next_Release_(example)	open		2013-04-15	2013-04-15	5
39	maven subprojects	None	open	Andrius Velykis	2013-02-04	2013-02-04	5
37	model information query/display	None	open	Andrius Velykis	2012-05-25	2012-05-25	7
36	proof process thread priority	None	open	Andrius Velykis	2012-04-12	2012-04-12	7
34	"insert at cursor" on verification window	None	open	Andrius Velykis	2012-01-25	2012-01-25	5
30	VCG PO "proved" state	None	open	Andrius Velykis	2011-11-28	2011-11-28	5
29	ZVCG consistency + order of thm	None	open	Andrius Velykis	2011-11-24	2011-11-24	8
28	"Type of" buttom	None	open	Andrius Velykis	2011-11-17	2011-11-17	8
27	Improvements to section handling UI in Z/Eves	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
26	Handle .tex files in addition to .zed	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
25	Source code location in Theorems window	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
24	VCG PO insert - include zproof	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
23	Apply commands "in general" via context menu	None	open	Andrius Velykis	2011-11-11	2014-11-01	5
22	Copying with "Force Unicode" in Output view	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
19	czt.path options in ZCompiler	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
18	Quick actions in Theorems and Verification	zeveseclipse	open	Andrius Velykis	2011-11-11	2011-11-11	5
17	Automatically synchronise proof state with prover	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
16	Display statistics on proof environment	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
15	identification of proof loops?	None	open	Andrius Velykis	2011-11-11	2011-11-11	5
14	proof timing	None	open	Andrius Velykis	2011-11-08	2011-11-08	3
11	ways of avoiding reproving	None	open	Andrius Velykis	2011-10-24	2011-10-24	5

1 2 > >> (Page 1 of 2)

Community Z Tools Feature Requests

Tool support for the Z formal notation

Group

Searches

Help

Feature Requests Maximize Restore