Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / _tags @ 5fb5b031

History | View | Annotate | Download (361 Bytes)

1
"backends/C": include
2
"backends/Horn": include
3
"plugins/scopes": include
4
<**/.svn>: -traverse
5
<**/.svn>: not_hygienic
6
"main_lustre_compiler.native": package(ocamlgraph)
7
"main_lustre_compiler.native": use_str
8
"main_lustre_compiler.native": use_unix
9
"main_lustre_compiler.native": use_nums
10
<*.ml{,i}>: package(ocamlgraph)
11
<*.ml{,i}>: use_str
12
<*.ml{,i}>: use_unix