K-user mailing list

["Park, Daejun" <dpark69 AT illinois.edu>]

Hi Seokje,

It appears the problem has nothing to do with the new options, because both 
--search and --pattern are not changed.
https://github.com/kframework/k/wiki/Command-Line-Option-Changes

Could you please provide more detailed scenario?

Thanks,
Daejun

On Oct 16, 2013, at 11:50 AM, Seokje Seo 
<seo43 AT illinois.edu>
 wrote:

> Hello all,
> 
> I recently updated and excited about changes applied on options of krun. 
> 
> Here is the question i have.
> I used --search --pattern "<cell>K</cell>" to extract contents in the cell 
> but it does not as before. Now it gives me back nothing. I wonder how to 
> use new version of this to extract the content.
> 
> Thank you in advance!
> 
> regards,
> Seokje Seo
> 
> 
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user