Ignore:
Timestamp:
Dec 13, 2010, 3:58:29 PM (9 years ago)
Author:
campbell
Message:

Update a couple of examples; put support for animation in its own file.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/depends

    r401 r409  
    1414Cexec.ma Csem.ma IOMonad.ma Plogic/russell_support.ma extralib.ma
    1515binary/Z.ma arithmetics/compare.ma binary/positive.ma
     16Animation.ma Cexec.ma
    1617CexecComplete.ma Cexec.ma Plogic/connectives.ma
    1718Globalenvs.ma AST.ma Errors.ma Mem.ma Values.ma
Note: See TracChangeset for help on using the changeset viewer.