1. KRR Avatar KRR
  2. Web Technology
  3. IDP webID

Issues

Filter by:

Advanced search

Issues (51–75 of 102)

Title T P Status Votes Assignee Created Updated Actions
#56: IDE overwrites manually edited file if it is still in cache
bug major new
#33: modelexpand en minimize
bug major resolved
#39: IDP timeout
enhancement minor resolved
#34: Editor eats letters when typing slowly.
enhancement minor resolved 1
#41: Replacing of ~= by neq: RANDOM behavior
bug critical resolved
#63: Responsive design: bad cutoffs
bug major resolved
#35: Execute IDP in workfolder
proposal major resolved
#55: Bad syntax coloring
bug minor resolved
#52: Bad coloring of Javadoc-style descriptions
bug major resolved
#59: Selecting and deleting logical symbols does not work
bug major resolved
#46: Automatic idp extension
proposal major resolved
#42: copy-pasting: random behavior
bug critical resolved
#37: More arrows
bug major resolved
#54: Add links to issues page to simplify bug reporting
task minor resolved
#49: Output when idp is killed
bug major resolved
#51: No kill option
enhancement minor resolved
#53: Search and Replace
enhancement trivial invalid
#62: In<ct>= moet geen \geq zijn
bug major new
#48: Comments in help
proposal trivial resolved
#45: Headers met hoofdletters
enhancement minor resolved
#60: IDE should not killall
bug major duplicate
#57: IDE overwrites manually edited file if it is still in cache
bug major duplicate
#36: Aanduiden fouten niet steeds juist
bug major wontfix
#40: More help symbols
bug major resolved
#47: Automatic idp extension
proposal major duplicate
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5