TastyDoc is a document formatting system. It takes a master document expressed as a semantic data structure, and allows the user to present it in various formats (HTML, pdf, etc.).