fstar-debug-invocation: make sure to start F* in the same directory e… - Githubissues

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

fstar-debug-invocation: make sure to start F* in the same directory e… #110

Closed mtzguido closed 5 years ago

mtzguido commented 5 years ago

…macs started

This is in order to properly interpret paths.

Fixes #93.