[Gcl-devel] Re: Nqthm timing and profiling., error input clearing

[Camm Maguire]

Thanks!

OK, the error-input-clearing issue should be fixed now.  Please let me
know if problems persist.

echo '(foo))' | saved_ansi_gcl
./saved_ansi_gcl
>(foo))

Take care,

Robert Boyer <address@hidden> writes:

> > I get Not Found
> 
> Damn. Profound apologies.
> 
>   wget http://www.cs.utexas.edu/users/boyer/time-nqthm.text
> 
>   wget http://www.cs.utexas.edu/users/boyer/gprof-nqthm.text
> 
> now both work for me.
> 
> Bob
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah