aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Find.mli
Commit message (Expand)AuthorAge
* Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...Gravatar ppedrot2012-04-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 09:27:41 +0000