Issues
- 0
MatchError: ENTRY_DELETE
#27 opened - 0
- 1
- 0
- 0
- 0
- 0
RPM/DNF breaks cobra path when updating
#21 opened - 0
switch to akka.js for the client
#20 opened - 6
rendering issue
#19 opened - 3
scala presentation compiler
#18 opened - 0
Scala Syntax Highlighting is broken
#17 opened - 1
Move Snippet management to server.
#16 opened - 2
Isabelle/ML snippet syntax problem
#15 opened - 1
Pointless secure mode
#14 opened - 1
Fragile /tmp files
#13 opened - 1
- 0
- 2
- 3
- 0
Custom Hover Annotations
#8 opened - 0
Executable Snippets / Worksheets
#7 opened - 0
- 0
Display Info Messages only on hover
#5 opened - 0
Global Config
#4 opened - 0
Select token under cursor on hover
#3 opened - 0
- 0
ISABELLE_HOME doesn't get picked up
#1 opened