你确定？！vim是文本编辑，texlive可不是。
【 在 pkucannot 的大作中提到: 】
: 都一样，都是文本编辑，有啥区别？我最早还用vim呢
: 发自「今日水木 on iPhone 13」
--
FROM 112.42.4.*