FStarLang/fstar-mode.el Issues
elaborate trace mode
Updated 2c-c c-r reload better description
Updated 3Open not always working
Closed 1F* over TRAMP crashes
Updated 17Highlight sladmit
Closed`nil` confusion
Closed 2fstar-mode over docker-tramp
Closed 5Definition lookup via TAGS
Closed 8No company completion
Closed 4Using F* remotely, over TRAMP
Closed 5Highlight assume/admit?
Closed 15JSON decoding warnings
Updated 22decreases clauses
Closed 2Ability to use "fstar --indent"
Updated 6Printing tactics position info
Closed 14Pasting causes indentation
Closed 11Can only evaluate once?
Closed 5