Abstract

As a sequel to the Dec 6, 2004 PRL seminar, we discuss various web services we hope to implement for web-publishing formal and expository content from the FDL. Keywords for concepts to be discussed: Semantic Anchoring, Formal Reference, Dynamic Documents, Editions, Structured Offprint