> 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.
I just realized that Andreas Sekine who is in my Sage Course right now is doing his final project on "refereeing Chris's patch". So this should get done within the next month. -- William --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
