Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Modularization #36

Merged
merged 6 commits into from
Mar 15, 2014
Merged

Modularization #36

merged 6 commits into from
Mar 15, 2014

Commits on Mar 15, 2014

  1. implementing modules for ordered and unordered groups (positional ind… 

    …ependence)

Signed-off-by: greenTara <[email protected]>
    @greenTara
    greenTara committed Mar 15, 2014
    Configuration menu
    Copy the full SHA
    3c4d194 View commit details
    Browse the repository at this point in the history

  2. redefining content models of Deliberation RuleML, as in issue RuleML#34

    @greenTara
    greenTara committed Mar 15, 2014
    Configuration menu
    Copy the full SHA
    4fdeec3 View commit details
    Browse the repository at this point in the history

  3. verifying the RNC schemas using instance generation issue RuleML#23 

    Signed-off-by: greenTara <[email protected]>
    @greenTara
    greenTara committed Mar 15, 2014
    Configuration menu
    Copy the full SHA
    6c550c9 View commit details
    Browse the repository at this point in the history

  4. fixing inadvertent drop of Quantifier from Reify and content (through… 

    … Node.choice)

Signed-off-by: greenTara <[email protected]>
    @greenTara
    greenTara committed Mar 15, 2014
    Configuration menu
    Copy the full SHA
    9d588d1 View commit details
    Browse the repository at this point in the history

  5. updating content models, as in issue RuleML#16 

    Signed-off-by: greenTara <[email protected]>
    @greenTara
    greenTara committed Mar 15, 2014
    Configuration menu
    Copy the full SHA
    0dab338 View commit details
    Browse the repository at this point in the history

  6. ignoring some temporary files 

    Signed-off-by: greenTara <[email protected]>
    @greenTara
    greenTara committed Mar 15, 2014
    Configuration menu
    Copy the full SHA
    e40a95e View commit details
    Browse the repository at this point in the history