Permalink
Commits on Nov 10, 2008
Commits on Jul 18, 2008
  1. Added mention of git repository.

    committed Jul 18, 2008
  2. Fixed link for gogar.rb.

    committed Jul 18, 2008
  3. Fixed download link.

    committed Jul 18, 2008
  4. Fixed link to gogar.rb script.

    committed Jul 18, 2008
  5. Fixed bugs in computing entitlements (reported by Reiner Schaefer).

    + Instead of closing under committive inferences, then looking at
      permissive, close under the action 'expand_entitlements', which
      includes both kinds of entailments.
    
    + Added 'all_unchallenged_assertions'  method; use this instead of
      'assertions_unchallenged(other)'.  Each player inherits testimonial
       entitlement from every other player's assertions.
    committed Jul 18, 2008
  6. Added README.

    committed Jul 18, 2008
  7. Initial commit.

    committed Jul 18, 2008