Minor request: use -Q DIR LP instead of -Q DIR,LP? #215
Description
I'm not sure what the proper way is to do this without breaking existing code. It's just a bit unfortunate that SerAPIs options are not spelled the same as Coq's
{{ message }}
I'm not sure what the proper way is to do this without breaking existing code. It's just a bit unfortunate that SerAPIs options are not spelled the same as Coq's