You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Now users can do:
```
sertop -Q lp,dir
```
to bind a logical path `lp` to directory `dir` in the same way as Coq does.
Note that support is still incomplete and experimental, in particular
we don't properly support recursive scanning of `dir`. Also, using an
empty space in the option is not possible due to `cmdliner`
limitations. We have chosen a comma as separator and indeed this looks
fine to me.
c.f. #19, #33, #35.
We want to identify and support the set of command line options that users need.
Ideally we'd like to break with current coqtop options, but we may add a compatibility layer where justified.
The text was updated successfully, but these errors were encountered: