130 |
Typechecker crashes instead of giving type error |
none |
open |
|
2020-06-02
|
2020-06-02
|
6 |
0 |
|
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
|
2023-06-01
|
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 |
|