Issues
- 0
- 0
linter counts usedmoduled symbols twice
#42 opened - 0
- 0
- 2
linter does not pick up \inlineass[name=
#39 opened - 2
- 2
- 0
build group does not seem to work
#36 opened - 0
flagging redundant disambiguations
#35 opened - 2
linter: wrong "not documented error"
#34 opened - 0
symbol names in search
#33 opened - 0
sref support in the IDE
#32 opened - 4
plausibility checking in the linter
#31 opened - 0
- 0
- 1
- 5
- 1
- 2
\assign not recognozed in realization
#24 opened - 1
error in linter error message?
#23 opened - 1
linter seems to stumble over URLs.
#22 opened - 5
- 4
linter behaves differently in en and de
#20 opened - 14
linter should spot "missing definitions".
#19 opened - 2
linter inheritance problem
#18 opened - 1
typo in error message (missing blank):
#17 opened - 0
- 4
when two files with dependencies A -> B are open, B is changed, re-link all files inbetween
#15 opened - 0
- 0
linter should catch \inlineass[for=foo]
#13 opened - 2
- 1
- 2
linter problem?
#9 opened - 7
problems with finding tree?root
#7 opened - 1
vardef linter problem?
#6 opened - 2
- 1
- 7
spurious error module not found
#3 opened - 1
IDE Features
#2 opened - 12