Skip to main content
PRL Project

The FDL Navigator: Browsing and Manipulating Formal Content

by Christoph Kreitz

Unpublished manuscript, Cornell University

  • unofficial copies PDF, PS

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.

bibTex ref: Kre03

cite link