OpenMath

new description of logic1 cd

preview wiki markup help
Cancel

Details

  • Type: Bug Bug
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: Content Dictionaries
  • Label:
  • Description:

    made logic more specific

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Paul Libbrecht added a comment - 2006-08-18 16:08

Bill,
do I mistake or I see no attachment in here ?
paul

Show
Paul Libbrecht added a comment - 2006-08-18 16:08 Bill, do I mistake or I see no attachment in here ? paul

People

Dates

  • Due:
    2006-08-17
    Created:
    2006-08-17 15:08
    Updated:
    2006-08-18 17:08

Time Tracking

Estimated:
10m
Original Estimate - 10 minutes
Remaining:
10m
Remaining Estimate - 10 minutes
Logged:
Not Specified
Time Spent - Not Specified
Atlassian JIRA (v4.1.1#522) | Report a problem | Request a feature | Contact administrators
Powered by a free Atlassian JIRA open source license for ActiveMath . Try JIRA - bug tracking software for your team.