diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/spiderweb/patches/008 |
Initial commit
Diffstat (limited to 'web/spiderweb/patches/008')
-rw-r--r-- | web/spiderweb/patches/008 | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/web/spiderweb/patches/008 b/web/spiderweb/patches/008 new file mode 100644 index 0000000000..d0e0615e3a --- /dev/null +++ b/web/spiderweb/patches/008 @@ -0,0 +1,29 @@ +*** c/c.spider.old Wed Nov 29 22:48:59 1989 +--- c/c.spider Wed Nov 29 21:55:48 1989 +*************** +*** 18,28 **** + + token + category unorbinop + token - category unorbinop +! token * category unorbinop translation <"{*}"> + token / category dot + token < category less translation <> + token > category greater translation <> + token = category equals translation <"\\leftarrow"> tangleto <"="-space> + token . category dot + token ~ category unop translation <"\\TI"> + token & category unorbinop translation <"\\amp"> +--- 18,30 ---- + + token + category unorbinop + token - category unorbinop +! token * category unorbinop translation <"{*}"> tangleto <space-"*"> +! # avoid inadvertant /* + token / category dot + token < category less translation <> + token > category greater translation <> + token = category equals translation <"\\leftarrow"> tangleto <"="-space> ++ # avoid inadvertant =- + token . category dot + token ~ category unop translation <"\\TI"> + token & category unorbinop translation <"\\amp"> |