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

Issues

Filter by:

Advanced search

Issues (76–100 of 102)

Title T P Status Votes Assignee Created Updated Actions
#30: Help button which explains the shortcuts
proposal minor resolved
#32: More shortcuts!
proposal trivial resolved
#31: More issues with symbols sticking together
bug major resolved
#29: Inconsistent comment coloring
bug major resolved
#28: reformat niet altijd juist
bug major resolved
#13: "Pick examples" knop hoort links te staan
enhancement trivial resolved
#26: Configuration does not work for main procedure
bug major resolved
#15: make special formatting optional
enhancement major resolved
#22: No syntax changin in comments
bug major resolved
#19: Autoformat doesn't like "}}" without space inbetween
enhancement minor resolved
#11: Comment area is declared too wide
bug major resolved
#20: Local server, remote url
proposal minor resolved
#27: Nogal veel slashes bij begin van filenaam
bug major resolved
#24: XSB is broken on seldon
bug major resolved
#23: Sort derivation warnings are not shown
bug major resolved
#18: ?=<1 quantor
enhancement trivial resolved
#5: Implications etc are too small
bug major resolved
#8: Code should be copy-pastable
bug major resolved
#1: Concrete delivery is missing a structure
bug major resolved
#14: Copy URL
bug major resolved
#12: Spaces in autoformatting
proposal major new
#7: XSB on seldon
bug major resolved
#3: Syntax checking
bug major resolved
#6: Autoformatting
bug major resolved
#4: Highlighting parse errors
bug major resolved
  2. 1
  3. 2
  4. 3
  5. 4
  6. 5