diff options
Diffstat (limited to 'home/config/dotfiles/venv-manager.nix')
| -rw-r--r-- | home/config/dotfiles/venv-manager.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/home/config/dotfiles/venv-manager.nix b/home/config/dotfiles/venv-manager.nix index 3bca7bd..377fb88 100644 --- a/home/config/dotfiles/venv-manager.nix +++ b/home/config/dotfiles/venv-manager.nix @@ -12,4 +12,14 @@ nix.enable = lib.mkDefault true; ocaml.tuareg.enable = lib.mkDefault true; + + why3 = { + defaultEditor = "emacsclient -c"; + extraConfig = '' + [prover] + editor = "" + name = "Coq" + version = "8.13.2" + ''; + }; } |