Summary of the Specification
+ Summary of the Specification
Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
@@ -55,21 +55,21 @@
category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
files | 4 | characters | -3928 | +2567 | nodes | -3861 | +3637 |
propositions | @@ -123,7 +123,7 @@ -
component | -plane | -files | -+ | component | +plane | +files | +
|
Physical Structure of the Specification
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each component.
@@ -191,6 +191,6 @@
Last update: Sat, 07 Jun 2014 21:44:26 +0200
+ Last update: Sun, 06 Jul 2014 20:28:30 +0200