Home
last modified time | relevance | path

Searched refs:KW_PRINT (Results 1 – 7 of 7) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dcommands.yy263 | KW_PRINT conceal { lexerCmdMode(); }
410 | KW_SET KW_PRINT printOption polarity '.'
414 | KW_SET KW_PRINT KW_ATTRIBUTE polarity '.'
418 | KW_SET KW_PRINT KW_ATTRIBUTE KW_NEWLINE polarity '.'
H A Dtop.yy132 %token KW_PRINT KW_GRAPH KW_MIXFIX KW_FLAT KW_ATTRIBUTE KW_NEWLINE
H A Dlexer.ll192 print return KW_PRINT;
H A Dlexer.cc3500 return KW_PRINT;
H A Dsurface.cc212 KW_PRINT = 295, enumerator
/dports/print/lout/lout-3.40/
H A Dz01.c733 PrintSym = load(KW_PRINT, 0, FALSE, FALSE, TRUE, NO_PREC ); in run()
H A Dexterns.h2437 #define KW_PRINT AsciiToFull("\\Print") macro