System pages
Site pages
Introduction...
Showroom
Tutorials
Man pages
Help
Download
Wiki...
Wiki submission
Background
Machine room...
Contact
Overview
Browser
Compiler
Server
Misceleneous
Main Menu
Reference
Vector
Body
Bibliography
Dictionary
External
Expansion
Codex
Diagnose
Source
Home. Help index. Up. Loading.
Description
A crossbrowser main menu page is a web page entitledLogiweb crossbrowser main menu of pagename
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 External formats |
| After codifying: | Codex Expansion |
| After verifying: | Diagnose |
| Where it all began: | 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.