Title: Procedural and declarative information in software manuals