Ignore:
Timestamp:
Jul 13, 2011, 11:05:09 AM (13 years ago)
Author:
cecile
Message:

Vis main file for expermeriments

File:
1 edited

Legend:

Unmodified
Added
Removed

  • vis_dev/vis-2.3/Makefile.in

    r14 r15  
    9494#----------------------------------------------------------------------
    9595
    96 ALL_PKGS = abs amc baig bmc cmd ctlp ctlsp eqv fsm grab hrc imc img io ltl \
     96ALL_PKGS = abs amc baig bmc cmd ctlp ctlsp eqv fsm rob grab hrc imc img io ltl \
    9797        maig mark mc mvf mvfaig ntk ntm ntmaig ord part puresat rst res restr \
    9898        rt sat sim spfd synth tbl truesim tst var vm
Note: See TracChangeset for help on using the changeset viewer.