diff options
| author | Pierre Courtieu | 2014-12-12 18:20:46 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2014-12-12 18:21:50 +0100 |
| commit | ed89c1ee0d24d0e4356e77561bab4822125db057 (patch) | |
| tree | 46e68f141580235481fb06dd2206abf516a70009 /plugins/syntax/string_syntax.ml | |
| parent | 607503b28fca50f4b76b2237d5ca13802b8252fa (diff) | |
Searchxxx now interpret patterns in goal environment if any.
This makes such things work:
x:nat
h: x = 3
================
True
Search x.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions