#545: [with patch, positive review] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: closed
Priority: major | Milestone: sage-3.4.2
Component: basic arithmetic | Resolution: fixed
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Changes (by mabshoff):
* status: reopened => closed
* resolution: => fixed
Comment:
Merged
* trac_545-logic5.patch
* trac_545-latex2.patch
* trac_545_long-doctests-fixed.patch
* trac_545_boolformula-doctests.patch
* trac_545-adjust-simplify.patch
* trac_545-equivlant_rebased.patch
in Sage 3.4.2.rc0. Note that there are some odd whitespace issues in those
files, so if someone could take care of that at #5910 it would be splendid
:)
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:49>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
