C语言教学中GVIM的应用

Visual C++自带的编辑器在编辑源程序时,对于使用习惯了Linux环境下的VIM编辑器的人来说十分不顺畅,针对此问题介绍了开源的GVIM编辑器与Microsoft Windows下Visual C++程序集成开发环境相结合的方法,从而对于源程序编辑更加方便快捷,并且在此基础上介绍了GVIM的一些使用方法。

GVim的TLA^+语言插件设计与实现

GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件。TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言。本文描述了为GVim编写TLA+语言插件的详细步骤。这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率。