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

Issue68 #69

Merged
merged 4 commits into from Jul 15, 2016
Merged

Issue68 #69

merged 4 commits into from Jul 15, 2016

Commits on Jun 10, 2016

  1. Merge pull request #9 from streamreasoning/gh-pages 

    update
    @greenTara
    greenTara committed Jun 10, 2016
    Configuration menu
    Copy the full SHA
    df85703 View commit details
    Browse the repository at this point in the history

  2. refine terminology, re element, member, instance, timestamp

    @greenTara
    greenTara committed Jun 10, 2016
    Configuration menu
    Copy the full SHA
    1592336 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2016

  1. restructure example directory

    @greenTara
    greenTara committed Jun 24, 2016
    Configuration menu
    Copy the full SHA
    655f6ad View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2016

  1. change rspmm to rsp

    @greenTara
    greenTara committed Jul 15, 2016
    Configuration menu
    Copy the full SHA
    1e42f99 View commit details
    Browse the repository at this point in the history