add basic vim editor configuration for SAW#1329

Merged

mergify[bot] merged 12 commits intoGaloisInc:masterfrom nano-o:vim

Jul 15, 2021

+39

Commits on Jun 10, 2021

add vim-saw
Giuliano Losa
committed
add /**/ comments to syntax
Giuliano Losa
committed
some improvements
Giuliano Losa
committed
use function! to be able to reload
Giuliano Losa
committed
restore position
Giuliano Losa
committed
add all saw builtins as keywords
Giuliano Losa
committed
preserve patterns history
Giuliano Losa
committed
switch to vim-slime
Giuliano Losa
committed

Commits on Jun 11, 2021

remove tags, fix typo, other minor stuff
Giuliano Losa
committed

Commits on Jun 17, 2021

Merge branch 'master' into vim
nano-o
authored

Commits on Jul 14, 2021

Merge branch 'master' into vim
nano-o
authored

Commits on Jul 15, 2021

Merge branch 'master' into vim
nano-o
authored