selection"; pInt : POINTER TO INT; x [...] String : POINTER
pointer over a corner [...] pointer changes shape [...] POINTER TO )
the pointer to another [...] the pointer to another [...] .tContent with VAR tContent : INT
FontHeight : INT := 12; <px [...] FontHeight : INT := 19; Tip [...] .tContent with VAR tContent : INT
FontHeight : INT := 12; <px [...] FontHeight : INT := 19; Tip [...] .tContent with VAR tContent : INT
FontHeight : INT := 12; <px [...] FontHeight : INT := 19; Tip [...] .tContent with VAR tContent : INT
( INT ) Maximum [...] ( INT ) Text [...] .tContent with VAR tContent : INT
FontHeight : INT := 12; <px [...] FontHeight : INT := 19; Tip [...] .tContent with VAR tContent : INT
FontHeight : INT := 12; <px [...] FontHeight : INT := 19; Tip [...] .tContent with VAR tContent : INT
FontHeight : INT := 12; <px [...] FontHeight : INT := 19; Tip [...] .tContent with VAR tContent : INT