Latex listings 高亮promela语言

promela的配置文件位置

\安装目录\texlive\2020\texmf-dist\tex\latex\listings\lstlang3.sty
搜索Promela
如下所示：

posted @ 2021-03-02 13:30  ouyangyangyang  阅读(97)  评论(0)  编辑  收藏  举报