The FDL Navigator: Browsing and Manipulating Formal Content

unofficial copies [PDF], [PS]

by Christoph Kreitz

Unpublished manuscript, Cornell University, 2003.


This manual describes the operations of the first prototype of the formal digital library that is currently being designed and implemented as part of a research project sponsored by the Office of Naval Research entitled Building Interactive Digital Libraries of Formal Algorithmic Knowledge.

It describes the commands for browsing and manipulating library objects through a command interface, called top loop, as well as a highly visual user interface, called the Navigator.