search

redguardtoo / mastering-emacs-in-one-year-guide

Be great at emacs in one year
6.39k stars 894 forks source link

请问，支持proof-general插件吗 #160

Open wangyanhai opened 3 years ago

wangyanhai commented 3 years ago

如题

redguardtoo commented 3 years ago

what's proof general?