Menu ▾ ▴

Bugs  Maximize  Restore

Showing results of 47

# Summary▾ Milestone▾ Status▾ Owner▾ Created▾ Updated▾ Priority▾ Votes▾
89 VCG refresh upon spec change None open Andrius Velykis 2011-11-24 2011-11-24 7 0  
84 Update build.xml file to build CZTEclipse plugins None open Andrius Velykis 2011-11-11 2011-11-11 5 0  
83 theorems view refresh exception (2) None open Andrius Velykis 2011-11-11 2011-11-11 3 0  
81 markers inconsistency None open Andrius Velykis 2011-11-10 2011-11-10 2 0  
76 CZTPlugin default ZSect init error None open Andrius Velykis 2011-10-20 2011-10-20 5 0  
75 incorrect loc use for error reporting None open Andrius Velykis 2011-10-20 2011-10-20 3 0  
74 concurrent modification exception None open Andrius Velykis 2011-10-20 2011-10-20 1 0  
72 missing loc info on problem window None open Andrius Velykis 2011-10-20 2011-10-20 3 0  
71 missing loc info on problem window None open Andrius Velykis 2011-10-19 2011-10-19 3 0  
65 Problems with ZLive evaluation None open Mark Utting 2009-06-08 2009-06-08 5 0  
64 Miss ′ in the conversion BoxOffice′ None open 2009-06-05 2009-06-05 5 0  
62 ModelJUnit GUI coverage graph is not random None open Mark Utting 2008-08-29 2008-08-29 5 0  
61 ModelJUnit GUI generates incorrect print graph code None open Mark Utting 2008-08-07 2008-08-07 5 0  
57 Normalization application None open Petra Malik 2008-02-19 2008-02-19 5 0  
50 exception when passing null to setCurrentSection() in ZLive None open Petra Malik 2007-10-17 2007-10-17 5 0  
49 typechecker setPreamble None open Petra Malik 2007-10-17 2007-10-17 5 0  
44 Schema expression as first declaration in schema None open Petra Malik 2007-06-22 2007-06-22 5 0  
40 double click selection error in Eclipse Plugin None open 2007-03-13 2007-03-13 5 0  
39 Eclipse plugin XML file support on editor and outline Panel None open 2007-03-13 2007-03-13 5 0  
36 ConstDecl paragraphs don't have 'box' type changed None open Petra Malik 2006-12-20 2006-12-20 3 0  
30 Unicode letters from plane 1 are not recognised as letters None open Petra Malik 2006-08-29 2006-08-29 5 0  
16 Comments in Schema headers are not lexed correcly None open Petra Malik 2005-06-07 2005-06-07 5 0  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
  • Votes
 
(applies to this page only)
<< < 1 2 (Page 2 of 2)