Hi, I'd like to report a few "bugs" against the instructions here:
<http://embed.cs.utah.edu/creduce/> 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... :) Cheers, -- ____________________________________________________________ Sean McBride, B. Eng [email protected] Rogue Research www.rogue-research.com Mac Software Developer Montréal, Québec, Canada
