Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Bugs Maximize Restore

Showing results of 46

# Summary Milestone Status Owner Created Updated Priority Votes
129 Eclipse build failure none open Andrius Velykis 2014-09-30 2014-09-30 9 0  
128 Unnecessary SectionManager initialisation in Unicode2Latex none open 2014-06-07 2014-06-07 5 0  
127 Z/EVES typechecker loops with recursive typechecking none open Leo Freitas 2014-06-07 2014-07-16 5 0  
124 Velocity log errors none open Andrius Velykis 2013-04-25 2013-04-25 5 0  
123 Error in Rules testing? none open 2013-04-25 2013-04-25 4 0  
122 Eclipse Help not quite right none open 2013-04-15 2013-04-15 5 0  
121 Outline Window not always populated none open 2013-04-15 2013-04-15 5 0  
120 Go To Declaration doesn't work across files none open 2013-04-15 2013-04-15 5 0  
119 Tests fail on vcg none open Leo Freitas 2013-04-03 2013-04-11 5 0  
118 NPE when opening TheoryEditor on *.oz8 file none open 2013-04-03 2015-02-23 5 0  
117 Eclipse is running slowly - profile? None open Andrius Velykis 2011-10-28 2013-03-06 5 0  
115 applies$to syntax error in zeves_prelude.tex None open Leo Freitas 2012-12-12 2012-12-12 5 0  
114 CZTSans font gives error on OS X Mountain Lion None open Petra Malik 2012-12-11 2012-12-11 5 0  
113 Inconsistencies between ISO-Z and ZEves toolkits None open Andrius Velykis 2012-11-14 2012-11-14 5 0  
112 loaded sections doesn't appear right None open Andrius Velykis 2012-11-14 2012-11-14 5 0  
111 VCs name problems None open Andrius Velykis 2012-11-02 2012-11-02 5 0  
110 refinement VCG across sections not working None open Leo Freitas 2012-11-02 2012-11-02 5 0  
109 low-level crashing on certain new op templates None open Andrius Velykis 2012-11-02 2012-11-02 5 0  
108 couple of errors on ZEves printer None open Leo Freitas 2012-11-01 2012-11-01 5 0  
107 ZEves renaming printted flippted None open Andrius Velykis 2012-10-24 2012-10-24 5 0  
105 Compilation error ... None open 2012-08-16 2012-08-16 5 0  
102 auto-completion delays None open Andrius Velykis 2012-04-12 2012-04-12 5 0  
95 ZEves Unicode converter loses Labels None open Leo Freitas 2012-02-01 2012-02-01 5 0  
94 ZVCG inconsistent state after exception None open Andrius Velykis 2012-01-25 2012-01-25 5 0  
89 VCG refresh upon spec change None open Andrius Velykis 2011-11-24 2011-11-24 7 0  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
  • Votes
 
(applies to this page only)
1 2 > >> (Page 1 of 2)