Logiweb(TM)

Logiweb aspects of message define " as " end define in pyk

Up Help

The "pyk" aspect

Define pyk of message define asterisk as asterisk end define as "message define "! as "! end define" end define

The "tex" aspect

Define tex of message define x as y end define as "
[ "[ texname x end texname ] { "
\stackrel{msg}{=} "[ y ]"
]" } end define

The "macro" aspect

define macro of message define x as y end define as \ x . expand ( quote macro define message define x as y end define as define message of root protect x end protect as y end define end define end quote , x ) end define

The pyk compiler, version 0.1.9 by Klaus Grue,
GRD-2007-07-12.UTC:20:10:57.067491 = MJD-54293.TAI:20:11:30.067491 = LGT-4690987890067491e-6