Logical Structure of the Specification
+ Logical Structure of the Specification
The source files are grouped in planes
according to the following table.
Notation files covering the whole specification are provided.
@@ -206,8 +204,7 @@
-
- Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each plane.
@@ -237,6 +234,6 @@
Last update: Sat, 05 Jul 2014 12:39:48 +0200
+ Last update: Sun, 06 Jul 2014 20:28:30 +0200