Project

General

Profile

« Previous | Next » 

Revision aa85bd44

Added by Guillaume DAVY almost 3 years ago

Doc: update rule and remove old module in 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