Revision aa85bd44
Added by Guillaume DAVY almost 6 years ago
| src/lustrec.odocl | ||
|---|---|---|
| 6 | 6 |
PluginList |
| 7 | 7 |
Delay |
| 8 | 8 |
Plugins |
| 9 |
LustreSpec |
|
| 10 | 9 |
SortProg |
| 11 | 10 |
Type_predef |
| 12 | 11 |
Mutation |
Also available in: Unified diff
Doc: update rule and remove old module in odocl