Release Notes: This release improves part performance and allows multiple part directories.
Release Notes: Numerous minor performance improvements, and two new settings for tuning heavy-use systems.
A collection of mathematical knowledge in a formal, correct form.
A search engine with a Web, file, and database crawler.
