name: TADS3 Proteus Main Library Extension
source: proteus
source: proteusLU
library: structure/proteus_structure
library: patterns/proteus_patterns
library: diagnostics/proteus_diagnostics