给“v笔记文本标注系统”升了个小级，从av3.4.1r升级到av3.5.0r。修改内容：在“标记对象类型”中，删除了参数“a:公理”和“e:元素”，增加了新参数“a:属性”和“c:概念”——算是增加了实用性，减少了属性的复杂度。当然，目前的参数分类还是有些糙，边用边优化。(a:vim,d:210530)(#vim,#模型.)

不用点开看，除非你需要经常记笔记、做微分析、记录论文原始思想，觉得碎片化的文字没法用，需要一个较为直观、且有一定系统性的形式方法可用的