Changeset 1236 for src/LIN


Ignore:
Timestamp:
Sep 21, 2011, 3:56:54 PM (8 years ago)
Author:
sacerdot
Message:

LTLToLin.ma completed (up to a couple of daemons used to provide dead code/data
that will be removed from the joint status later)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LIN.ma

    r1233 r1236  
    2525*)
    2626
    27 definition ltl_program ≝ joint_program lin_params.
     27definition lin_program ≝ joint_program lin_params.
Note: See TracChangeset for help on using the changeset viewer.