lustrec/_tags @ 76b2936d
| 1 |
"src": include |
|---|---|
| 2 |
"src/backends/C": include |
| 3 |
"src/backends/Horn": include |
| 4 |
<**/.svn>: -traverse |
| 5 |
<**/.svn>: not_hygienic |
| 6 |
"src/main_lustre_compiler.native": use_graph |
| 7 |
"src/main_lustre_compiler.native": use_str |
| 8 |
"src/main_lustre_compiler.native": use_unix |
| 9 |
<src/*.ml{,i}>: use_graph
|
| 10 |
<src/*.ml{,i}>: use_str
|
| 11 |
<src/*.ml{,i}>: use_unix
|