[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] c-reduce feedback


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-reduce
No formula found for "c-reduce".

Apparently, it's spelt "creduce" and their search engine is lame.  :)  You might mention the command explicitly:

$ brew install creduce

Now to actually try the tool... :)


Sean McBride, B. Eng                 sean@rogue-research.com
Rogue Research                        www.rogue-research.com 
Mac Software Developer              Montréal, Québec, Canada