zacque

mosml should find $DESTDIR/usr/local/bin/camlrunm?

1

Hi, I have successfully built `mosml` after `git clone`. But after installing with: ``` shell $ DESTDIR=/tmp/mosml-install make install ``` if I try to execute `mosml` in that directory: ```...

User-defined `coq-prog-args` gets reset to `("-emacs")` on every `proof-shell-start`

5

Hi, Problem description: As per title. Steps to reproduce: 1. Simply set `coq-prog-args` to some values. E.g. `(setq coq-prog-args '("-set" "Printing Parentheses"))`. 2. In a Coq file, run `M-x proof-shell-start`,...