-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: RuleML/issues-ruleml
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Possible positional freedom of xsd might be more than is implemented
#80
opened Nov 15, 2018 by
rimachaudhari
Holog Should Allow per Attribute in Any Term Within op Child of Expr
#77
opened Sep 15, 2017 by
HaroldBoley
Modify grammar for @val to harmonize with other semantic variant attributes
#68
opened Nov 16, 2015 by
greenTara
key and keyref attributes are missing from SimpleWithAttributes.xsd
#64
opened Oct 24, 2015 by
greenTara
Edges for negations and equivalences replaced with generic formula edge
#37
opened Nov 8, 2014 by
greenTara
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.