Issues
- 0
Error message about Error locations
#17 opened by varosi - 0
On Atom 1.30 x64 I got deprecation on that plug-in
#16 opened by varosi - 0
--ide support
#15 opened by cpitclaudel - 2
Uncaught Error: ENOENT: no such file or directory, lstat 'C:\FStarProjects\atom-fstar-build.json'
#14 opened by A-Manning - 3
- 2
- 2
support for fsi/fsti
#11 opened by fournet - 2
- 1
Error messages report relative (with respect to previously checked part of the file) line numbers
#9 opened by markulf - 0
Ctrl+Shift+G does something completely different for me, not jumping to next error
#8 opened by catalin-hritcu - 2
unrecognized option '--in'
#7 opened by srenatus - 13
Uncaught TypeError: Cannot read property 'onDidChangeCursorPosition' of undefined
#5 opened by catalin-hritcu - 0
- 19
- 2
- 2
Customizing colors
#4 opened by catalin-hritcu - 1
Check next
#3 opened by catalin-hritcu