Project

General

Profile

Revision aa85bd44 src/lustrec.odocl

View differences:

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