Specification Editor

The specification editor enables the user to edit specifications in the abaco system. These specifications should be written in the algebraic formalism described here.

Specification editors can be created with the project panel