#15040: error handling and new model theoretic functions in logic module
-------------------------------------+-------------------------------------
       Reporter:  pmscurek           |        Owner:  Paul Scurek
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-pending
      Component:  misc               |   Resolution:
       Keywords:  logic, error       |    Merged in:
  handling                           |    Reviewers:  William Stein
        Authors:  Paul Scurek        |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  041d5dd6b10572373e2aa2f85d138758c0540060
  public/ticket/15040                |     Stopgaps:
   Dependencies:  #14951, #14952,    |
  #15013, #15018                     |
-------------------------------------+-------------------------------------
Changes (by git):

 * status:  positive_review => needs_review
 * commit:  6287a523dc5ff58d9879c169dd77b7ac601752be =>
     041d5dd6b10572373e2aa2f85d138758c0540060


Comment:

 Branch pushed to git repo; I updated commit sha1 and set ticket back to
 needs_review. New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=b4e8f25e140c688315d026add7318c65211e367c
 b4e8f25]||{{{Merge branch 'public/ticket/15018' of trac.sagemath.org:sage
 into public/ticket/15018}}}||
 
||[http://git.sagemath.org/sage.git/commit/?id=041d5dd6b10572373e2aa2f85d138758c0540060
 041d5dd]||{{{Merge branch 'public/ticket/15040' of trac.sagemath.org:sage
 into public/ticket/15040}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/15040#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to