From 4bc891a96de1a768898e12126461daac56a74436 Mon Sep 17 00:00:00 2001
From: DustVoice <info@dustvoice.de>
Date: Tue, 23 Mar 2021 13:46:22 +0100
Subject: [PATCH] Change nvim stuff

---
 init.vim               |   2 +-
 spell/en.utf-8.add     |   5 +++++
 spell/en.utf-8.add.spl | Bin 564 -> 624 bytes
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/init.vim b/init.vim
index 76a37c6..04eec3d 100644
--- a/init.vim
+++ b/init.vim
@@ -490,7 +490,7 @@ if g:use_vimtex == 1
     let g:polyglot_disabled = ['latex', 'tex']
 
     let g:tex_flavor='latex'
-    let g:vimtex_syntax_autoload_packages = ['hyperref', 'listings', 'luacode', 'minted']
+    "let g:vimtex_syntax_packages = {'hyperref':{'load':2}, 'listings':{'load':2}, 'luacode':{'load':2}, 'minted':{'load':2}}
     let g:vimtex_format_enabled = 1
     let g:vimtex_indent_enabled = 1
 
diff --git a/spell/en.utf-8.add b/spell/en.utf-8.add
index c71b52b..a81b0b9 100644
--- a/spell/en.utf-8.add
+++ b/spell/en.utf-8.add
@@ -38,3 +38,8 @@ GTAs
 #stimatior
 Estimatior/!
 Perceptron
+MHP
+ABL
+Dataflow
+dataflow
+overapproximation
diff --git a/spell/en.utf-8.add.spl b/spell/en.utf-8.add.spl
index 6bc00b3fdbb4bb486e2182d2453fec6779200bca..b65c2b50c54edf49fe7b30e1fdf0177ba944fc26 100644
GIT binary patch
literal 624
zcmYLGOHRWu5cP9|P{j&_dIZ`fVvDk<iiD78#R7HjCQcL8`6y05hz(cZ7_2x%55iI4
zje|fVjmI<d-n_Aw4|CsG=Wf20!uz>dC8^EUxht!>@!fWh6&!R#w}nNAn${tQ){(2~
zBMKzgz=Spng$f?}jmM6S0_xaO^KJm8CJrA26s*Y2MutahD`_*xn69zcN^4Xcz}n1{
zuhV9SmN-e|Y>}aMpg2dV=~y>jDx)IIDoNDOY@si-X-VoR&-D0M#FkuTMQs_)3N~(u
z5i)}pG|aWMzLIg?5uZ|>B$3IT*F`_ilY!Z!6+ddkzXm@F$V<mJAd@y3DH{^jI8ge(
zKmy{5nJx&fgdkp@q_$x2Rra(Qaa@-8E->(2G|LkovJ!2`E2~JH4U%;k<b>xQrCe54
zOTx*HT}rM45iJ>0qWHS($5qQn*8csd+mgCAK~bTUx{hXd_j4?09!dn9F1F!krb~jt
Y&z$}Jj8<$Ij`1w`;S`VId?JrhKi|)AD*ylh

literal 564
zcmX|7Jx{|x4E4Jdp^63Z4?1;42z5X#6-Wq)Rt%^UOPXBTsFx4rk^&n`ehd>oq8opR
z5uPsySvvb{zvpMK?iaqc&RzV7z@Dy?)MlHlE6S?&ZTA9)4i+scT8k}=8M(4LAV-27
zVyxL=At>Qt-s$#iR8Y&7ivJi8nK*n9kh7vc8}XglvO`He#@C+k*2H@>Y}3S+V4Yzj
zA+5;O)YP6CwkvZ%-eE!mb7ta(%#LE>0X|b{1%<7tB%@g+oi)TLSBy8*%r&&3l5yMt
zpFv#`#m<}D>!<f5pnq=kP3w@e!y3KgvPzOsP#ffwTAyu>QkygQDgvs{*uzaYvSq}h
z7-LwT_>k3T$E*s~IE#`^5$1%`^(j|T;YskR5rQpViD<}}62;SL|98Vk_52<EvY@VA
vP?U?v`RL~MZh<AuLsY==vQw;?uLuffKlwkq5jKpccvAd$j)&kM$s_U$5Y}h1