Commit 7994f9af authored by Raphael Cauderlier's avatar Raphael Cauderlier

Typo

parent 948b65e0
#NAME drinker.
(; Customization of Emacs mode for Dedukti: this file is not linear
and requires a path extended with "../fol" and "../meta.
and requires a path extended with "../fol" and "../meta".
(setq-local dedukti-check-options '("-nc" "-nl" "-I" "../fol" "-I" "../meta"))
(setq-local dedukti-compile-options '("-nc" "-e" "-nl" "-I" "../fol" "-I" "../meta"))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment