天泣記

2020-02-27 (Thu)

#1 coq issue #11690

GitHub coq/coq#11690: CoqIDE menu item 'View -> Display raw matching expressions'

[latest]