Logiweb

Logiweb Help: Crossbrowser main menu

Home. Help index. Up. Loading.

Description

A crossbrowser main menu page is a web page entitled

Logiweb crossbrowser main menu of the "pagename" page

which, together with other pages, allows a user to view a particular Logiweb page without having a Logiweb browser.

Click here to open the crossbrowser main menu page for a sample page. Click 'Body' and then 'Pdf' to view the page.

Menu entries

The entries of the main menu are as follows:

General Up Help
Starting point: Reference
After fetching: Vector
After unpacking: Body Bibliography Dictionary
After codifying: Codex Expansion
After verifying: Diagnose
For authors: Source

For the impatient

To 'render' (i.e. view) a Logiweb page, click on 'Body' and then on 'Pdf'. Clicking 'Body' above, however, provides help on page bodies. To see a Logiweb page, you must click 'Body' on a crossbrowser main menu page such as this one.

Loading

The links on a main menu page illustrate how a Logiweb browser 'loads' a Logiweb page.

'Loading' a Logiweb page is a process which takes a Logiweb 'reference' as input and produces a Logiweb 'codex' as output.

After loading a page it is possible to 'render' (i.e. view) it, to tell whether or not the page is mathematically correct, and to 'execute' page. The crossbrowser has support for all of this except execution.

Before it is possible to load a page, someone has to author it and submit it to Logiweb. Authoring and submission may be done using the pyk compiler.

Loading a page consists of fetching, unpacking, codifying, and verifying. The details are described here.

Klaus Grue, GRD-2004-08-04