Ⅰ. 插件描述
Vim-magma is a vim plugin for support Magma Computational Algebra System.Ⅱ. 基本信息
|
Ⅲ. 安装方法
使用Vundle管理器安装
在你的.vimrc下添加:Plugin 'petrushka/vim-magma'
… 然后在Vim中运行以下命令:
:source %
:PluginInstall
对于Vundle版本 < 0.10.2,请用上面的Bundle替换Plugin。
使用NeoBundle管理器安装
在你的.vimrc下添加:NeoBundle 'petrushka/vim-magma'
… 然后在Vim中运行以下命令:
:source %
:NeoBundleInstall
使用VimPlug管理器安装
在你的.vimrc下添加:Plug 'petrushka/vim-magma'
… 然后在Vim中运行以下命令:
:source %
:PlugInstall
使用Pathogen管理器安装
在终端中运行以下命令:cd ~/.vim/bundle
git clone https://github.com/petrushka/vim-magma
Ⅳ. 文档说明
# Vim magma plugin
Vim-magma is a vim plugin for the [Magma] computer algebra system. Vim-magma supports syntax highlighting and indentation for Magma.
Installation
These instructions assume you use a bundler (e.g. [Vim-Plug]). In this case you should place following line in your vim config:
Plug 'petRUShka/vim-magma'
Built-ins
The list of built-ins used is generated by
$ magmadoc=/path/to/magma/doc/html
$ cat $magmadoc/*.htm | sed -nr "s/^.*NAME = \"([A-Z][[:alnum:]]*)\".*$/\1/p" | sort > magma-builtinsThe file magma-builtins very useful for completion. Press Ctrl-X/Ctrl-O in insert mode to force completion.
That trick is stolen from [magma-mode], see [build_completion_table.sh].
You may find this list also useful for [rlwrap]. Use it with magma -f magma-builtins or install to ~/.magma_completions.
Credits
Originally placed at http://www.cryptojedi.org/programming/index.shtml.