On 05 Oct 2006, at 16:33, [EMAIL PROTECTED] wrote: > (As far as I know this package wasn't tested on an Intel Mac, so it > may need > additional tweaking)
On Intel Mac, just did 'coqtop -h'; then 'coqtop', w/o apparent trouble. JF Mertens ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys -- and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Fink-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/fink-users
