Menu ▾ ▴

Feature Requests  Maximize  Restore

Showing results of 31

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