---------- Forwarded message ---------- From: Pablo De Napoli <[EMAIL PROTECTED]> Date: Sun, May 11, 2008 at 6:44 AM Subject: Re: symbolic logic code To: Chris Gorecki <[EMAIL PROTECTED]> Cc: William Stein <[EMAIL PROTECTED]>
Dear Chris and William: Chris has writen a new version of the symbolic logic code for Sage (seee #545), implementing all my previous suggestions. I didn't have much time to review this patch, but it seems that AlexGhitza has been working on this. I think that it is important than this code get into Sage soon. So I would sugest that him or someone else reviews Chris patch. best regards Pablo El Wednesday 09 April 2008 19:07:43 escribió: > Hello, > > So I recently updated the propositional calculus code. The patch is the > latest update, and the tar ball should be updated soon. > If you would be willing to review it and send your review to William Stein > I would greatly appreciate it. > If not, just let me know and I will find someone else to referee the code. > Thank you. > > -Chris Gorecki -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
