name "changes"

table {
  class "gray"
  [ "version" [ "aspect" [ "" "changes" ]]
  ]

  class "orange"
  [ { "λδ-2B" + "(unreleased)" * }
    {
     [ [{ "equivalences" * }]
       { "+" "+" "+" "-" }
       { "equivalence for full rt-reduction (terms)"
         "equivalence for whd rt-reduction (terms)"
         "equivalence for extended rt-reduction (terms, referred lenvs, closures)"
         "syntactic equivalence (closures) removed"
       }
     ]
     [ [{ "weights" * }]
       { "+" }
       { "switch in primitive order relations for closures to enable the exclusion binder"
       }
     ]
     [ [{ "relocation" * }]
       { "" }
       { ""
       }
     ]
     [ [{ "syntax" * }]
       { "+" }
       { "exclusion binder for lenvs"
       }
     ]
     [ [{ "ground" * }]
       { "+" "*" "+" "-" }
       { "rt-transition counters"
         "generic reference transforming maps as streams of non-negative integers" 
         "extensional equality, labelled transitive closures and streams"
         "non-negative integers with infinity removed"
       }
     ]
    }
  ]

  class "orange"
  [ { "λδ-2A" + "(October 2014)" * }
    {
     [ [{ "equivalences" * }]
       { "+" }
       { "syntactic equivalence (selected lenvs, referred lenvs, closures)"
       }
     ]
     [ [{ "weights" * }]
       { "*" "-" }
       { "primitive order relations for closures"
         "complex weight (terms) removed"
       }
     ]
     [ [{ "relocation" * }]
       { "-" }
       { "level update functions removed"
       }
     ]
     [ [{ "syntax" * }]
       { "+" "+" "+" "-" "-" }
       { "polarized binders for terms"
         "non-negative integer global references for terms"
         "syntactic support for genvs with typed abstraction, abbreviation"
         "numbered sorts, application, type annotation removed from lenvs"
         "exclusion binder removed from terms and lenvs"
       }
     ]
     [ [{ "ground" * }]
       { "+" "+" }
       { "lists and non-negative integers with infinity"
         "library extension for transitive closures and booleans"
       }
     ]
    }
  ]

  class "red"
  [ { "λδ-1A" + "(November 2006)" * }
    {
     [ [{ "equivalences" * }]
       { "" }
       { "equivalence for outer reduction (terms)"
       }
     ]
     [ [{ "weights" * }]
       { "" "" "" }
       { "order relations (terms, lenvs, closures) based on weights" 
         "simple weights (terms, lenvs, closures)"
         "complex weight (terms)"
       }
     ]
     [ [{ "relocation" * }]
       { "" }
       { "level update functions"
       }
     ]
     [ [{ "syntax" * }]
       { "" "" }
       { "lenvs with non-negative integer sorts, application, typed abstraction, abbreviation, exclusion, type annotation"
         "terms with non-negative integer sorts and local references, application, typed abstraction, abbreviation, exclusion, type annotation" }
     ]
     [ [{ "ground" * }]
       { "" "" }
       { "finite reference transforming maps as compositions of basic ones"
         "library extension for logic and non-negative integers"
       }
     ]
    }
  ]

}

class "center" { 2 }