Home. Help index. Up. Loading.
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.
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 |
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