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

[creduce-bugs] Welcome!

Welcome to the creduce-bugs at flux.utah.edu mailing list!

This is the advertised mailing list for reporting bugs in C-Reduce.  General
discussions should take place on the creduce-dev at flux.utah.edu mailing list.

Eric Eide <eeide at cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX