diff options
Diffstat (limited to 'pptok.dat')
-rw-r--r-- | pptok.dat | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/pptok.dat b/pptok.dat new file mode 100644 index 00000000..1c07d4b2 --- /dev/null +++ b/pptok.dat @@ -0,0 +1,44 @@ +# +# A * at the end indicates a condition; the list of conditions are +# on lines starting with *; the negatives are auto-generated +# +* +*ctx +*def +*id +*idn +*idni +*macro +*num +*str +%arg +%assign +%clear +%define +%elif* +%else +%endif +%endm +%endmacro +%endrep +%error +%exitrep +%iassign +%idefine +%if* +%imacro +%include +%ixdefine +%line +%local +%macro +%pop +%push +%rep +%repl +%rotate +%stacksize +%strlen +%substr +%undef +%xdefine |