Commits on Apr 8, 2012
  1. Fixed up Makefile

    committed Apr 8, 2012
  2. @robsimmons

    Merge pull request #1 from msullivan/master

    A couple of fixups
    robsimmons committed Apr 7, 2012
Commits on Apr 5, 2012
  1. @msullivan
  2. @msullivan
  3. @msullivan

    Add a .gitignore file.

    msullivan committed Apr 5, 2012
Commits on Apr 3, 2012
  1. @robsimmons

    Actually make ollibot code doable in ASCII by adding $ as a shorthand…

    … for gnab
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@296 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Apr 3, 2012
Commits on Feb 17, 2011
  1. @robsimmons

    Wow, never checked in vaguely important example

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@294 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Feb 17, 2011
Commits on Jul 12, 2010
  1. @robsimmons

    Fix all the examples broken by the change of binder syntax - a space …

    …now must appear after a binder - Lambda x. x not Lambda x.x.
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@293 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 12, 2010
  2. @robsimmons

    Fix broken example; now correctly parsing paths. This will probably b…

    …reak a number of examples, because in ?x.x, 'x.x' is now treated as a compound path ID(['x'],'x') and not as ID('x'), PERIOD, ID('x').
    
    Realizing this, it's likely that we should transition to a different character for end-of-binder or else a different character for compound paths. I'm not certain what the correct balance is, however.
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@292 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 12, 2010
  3. @robsimmons
  4. @robsimmons
Commits on Jul 11, 2010
  1. @robsimmons

    Pushed through a decl signature; it should now be easy to add annotat…

    …ed lambdas to the parser generator.
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@289 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 11, 2010
  2. @robsimmons

    Update parser with better binding infrastructure

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@288 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 11, 2010
Commits on Jul 8, 2010
  1. @robsimmons

    Fix web server so that I can tag this point and do breaking changes f…

    …rom here
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@286 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
  2. @iliano

    added call-by-name ordered proof example

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@285 88e30042-7354-0410-bf5e-e4d69759226d
    iliano committed Jul 8, 2010
  3. @robsimmons

    Add old liveness debugging example

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@284 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
  4. @robsimmons

    Install some (hopefully non-breaking) changes that I had made locally…

    … in the service of trying to introduce linear connectives; to make progress I probably need to introduce the breaking change of requiring atomic propositions to be introduced (linear, persistent, or ordered)
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@283 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
  5. @robsimmons

    Update with ASCII syntax

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@282 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
Commits on Apr 1, 2010
  1. @robsimmons

    Typos and inconsistencies more

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@129 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Apr 1, 2010
Commits on Mar 30, 2010
  1. @robsimmons

    Change negspantree.olf for illustrative purposes

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@123 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 30, 2010
Commits on Mar 29, 2010
  1. @robsimmons

    Stratificaiton now maybe works

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@119 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 29, 2010
  2. @robsimmons
  3. @robsimmons

    Infrastructure for toposort and stratified negation

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@117 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 29, 2010
  4. @robsimmons

    A new example with negation and the basics of toposort

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@116 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 29, 2010
Commits on Mar 25, 2010
  1. @robsimmons

    Add linear modal negation and examples

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@115 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
  2. @robsimmons

    Move tests to a separate directory

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@114 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
  3. @robsimmons

    Update all OLF files to the new syntax

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@113 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
  4. @robsimmons

    Update syntax; MOST EXAMPLES ARE NOT CAUGHT uP

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@112 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
Commits on Mar 23, 2010
  1. @robsimmons

    Add kripkie examples

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@111 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 23, 2010
  2. @robsimmons

    Ugh it's gonna make me committ

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@110 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 23, 2010
Commits on Mar 17, 2010
  1. @robsimmons

    Minor changes; create UTF8ISLOVE

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@107 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 17, 2010
Commits on Nov 19, 2009
  1. @robsimmons

    Check in changes

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@79 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Nov 19, 2009
Commits on Aug 3, 2009
  1. @robsimmons

    Create 0.1 point release

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@77 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Aug 3, 2009
  2. @robsimmons

    Modify readme.txt

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@76 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Aug 3, 2009
  3. @robsimmons

    Probably ready for the first point release

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@75 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Aug 3, 2009