Logiweb(TM)

Logiweb aspects of tactic in pyk

Up Help

The predefined "pyk" aspect

define pyk of tactic as text unicode start of text unicode small t unicode small a unicode small c unicode small t unicode small i unicode small c unicode end of text end unicode text end text end define

The predefined "tex" aspect

define tex of tactic as text unicode start of text unicode newline unicode small t unicode small a unicode small c unicode small t unicode small i unicode small c unicode end of text end unicode text end text end define

The predefined "message" aspect

define message of tactic as the tactic aspect end define

The pyk compiler, version 0.grue.20050502+ by Klaus Grue,
GRD-2005-05-26.UTC:06:49:32.964854 = MJD-53516.TAI:06:50:04.964854 = LGT-4623807004964854e-6