Ignore:
Timestamp:
Jan 21, 2011, 2:31:00 PM (9 years ago)
Author:
campbell
Message:

Reduce "include"s to reduce compilation time.
(Will be undone when moving to the new-new system.)

File:
1 edited

Legend:

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

    r473 r474  
    11SmallstepExec.ma Events.ma IOMonad.ma Integers.ma extralib.ma
    2 Mem.ma AST.ma Coqlib.ma Plogic/equality.ma Values.ma arithmetics/nat.ma binary/Z.ma datatypes/list.ma datatypes/sums.ma extralib.ma
     2Mem.ma Values.ma arithmetics/nat.ma extralib.ma
    33IOMonad.ma Errors.ma Plogic/russell_support.ma extralib.ma
    44Integers.ma arithmetics/nat.ma binary/Z.ma extralib.ma
     
    1616Animation.ma Cexec.ma
    1717CexecComplete.ma Cexec.ma Plogic/connectives.ma
    18 Globalenvs.ma AST.ma Errors.ma Mem.ma Values.ma
     18Globalenvs.ma AST.ma Errors.ma Mem.ma
    1919Maps.ma AST.ma Coqlib.ma
    20 Events.ma AST.ma CostLabel.ma Floats.ma Integers.ma Values.ma datatypes/list.ma extralib.ma
     20Events.ma CostLabel.ma Values.ma datatypes/list.ma extralib.ma
    2121Values.ma AST.ma Coqlib.ma Floats.ma Integers.ma Plogic/connectives.ma
    2222extralib.ma Plogic/equality.ma binary/Z.ma binary/positive.ma datatypes/list.ma datatypes/sums.ma
    23 Csyntax.ma AST.ma Coqlib.ma CostLabel.ma Errors.ma Integers.ma
    24 Csem.ma AST.ma Coqlib.ma Csyntax.ma Errors.ma Events.ma Floats.ma Globalenvs.ma Integers.ma Maps.ma Mem.ma Smallstep.ma Values.ma
     23Csyntax.ma AST.ma Coqlib.ma CostLabel.ma Errors.ma
     24Csem.ma Csyntax.ma Globalenvs.ma Maps.ma Smallstep.ma
    2525Plogic/connectives.ma
    2626Plogic/equality.ma
Note: See TracChangeset for help on using the changeset viewer.