Vscode是一款好用的开源编辑器软件,里面的maude是一个用于重写理论的工具,其条目可以帮助您创建和管理语法和规则,那么Vscode添加Maude条目怎么做?下面就一起来看看详细的介绍吧。
添加Maude条目操作方法介绍
1,首先,在vscode中打开插件管理器窗口,搜索Maude插件
2,接着,新建扩展名为maude的文件,查看代码语言
3,随后,打开文件夹终端,运行maude程序
4,最后,在设置栏目中搜索file associations,打开settings.json为maude条目关联扩展名文件即可
文明上网,理性发言,共同做网络文明传播者