Document Statistics
StatusChanged
Package Statistics
 ChangedAddedRemovedUnchangedTotal
Documents6017380
Contexts415435445
Package Detail
(*) Columns: (1) - Changed, (2) - Added, (3) - Removed, ∑ - Total
FileContexts
Modified (*)Un- changedTotal
123
 CaseLabelTree1101
 GuardedPatternTree3303
 PatternTree11202
 Tree1123
 Tree.Kind11118119
 TreeVisitor116667
 package-summary1101
Total41510435445