lv6-ref-man/exemple-env.tex · 2181fd66fcda81aae2d35e0435e327a433e528f6 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

14 years ago
18374c51
Fix the bug of numerical static args in node name: · 18374c51
Pascal Raymond authored 14 years ago
```
'-' replaced by 'm', '.' by 'd',
(see "correct_num_string" in LicDump.ml)
```
18374c51

History
Fix the bug of numerical static args in node name:
Pascal Raymond authored 14 years ago
```
'-' replaced by 'm', '.' by 'd',
(see "correct_num_string" in LicDump.ml)
```

exemple-env.tex 2.47 KiB