···8080 # so that the package can be used as a vim plugin to install syntax coloration
8181 install -Dt $out/share/vim-plugins/tamarin-prover/syntax/ etc/syntax/spthy.vim
8282 install etc/filetype.vim -D $out/share/vim-plugins/tamarin-prover/ftdetect/tamarin.vim
8383+ mkdir -p $out/share/nvim
8484+ ln -s $out/share/vim-plugins/tamarin-prover $out/share/nvim/site
8385 # Emacs SPTHY major mode
8486 install -Dt $out/share/emacs/site-lisp etc/spthy-mode.el
8587 '';
···4949 au BufRead,BufNewFile *.txr set filetype=txr | set lisp
5050 au BufRead,BufNewFile *.tl,*.tlo set filetype=tl | set lisp
5151 EOF
5252+ mkdir -p $out/share/nvim
5353+ ln -s $out/share/vim-plugins/txr $out/share/nvim/site
5254 '';
53555456 meta = with lib; {