Re: [creduce-bugs] c-reduce feedback

Sure, I added the homebrew package name in the INSTALL file. I think that actually linking to homebrew itself goes beyond the scope of our INSTALL file. John On 5/2/16 7:59 PM, Sean McBride wrote: Hi, I'd like to report a few "bugs" against the instructions here:

[creduce-bugs] c-reduce feedback

Hi, I'd like to report a few "bugs" against the instructions here: It would be nice if the "Installing C-Reduce" section had a few more hyperlinks. Like to Homebrew, for those that don't know it. Also, after installing brew, I tried: $ brew search c-reduc

[creduce-bugs] Bug report

If you find yourself in need of any additional information, please do not hesitate to write back! -- Sincerely, Anton Mitrokhin MIPT, Russia 8 (925) 310-32-28 creduce_bug_000.tar Description: Unix tar archive