source: vis_dev/vis-2.3/src/ltl/ltl.make @ 23

Last change on this file since 23 was 14, checked in by cecile, 13 years ago

vis2.3

File size: 154 bytes
Line 
1CSRC += ltl.c ltlSet.c ltlTableau.c ltlAutomaton.c ltlMinimize.c ltlCompose.c ltlUtil.c
2HEADERS += ltl.h ltlInt.h
3
4DEPENDENCYFILES = $(CSRC)
5
6
7
8
9
10
11
12
13
14
15
16
17
Note: See TracBrowser for help on using the repository browser.