diff options
| author | Vincent Laporte | 2018-09-11 14:32:22 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-25 09:45:55 +0000 |
| commit | a1f10626bed1db14ce116e9201ed05dadfc366b4 (patch) | |
| tree | e8f35a49caa3a8b8f6c96a84344fd666401a17e9 /dev/v8-syntax | |
| parent | 7eb8a7eb8d23ffaf149f71a46fb1b089b90db7f8 (diff) | |
Remove romega
Diffstat (limited to 'dev/v8-syntax')
| -rw-r--r-- | dev/v8-syntax/syntax-v8.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dev/v8-syntax/syntax-v8.tex b/dev/v8-syntax/syntax-v8.tex index 6b7960c92f..dd3908c25f 100644 --- a/dev/v8-syntax/syntax-v8.tex +++ b/dev/v8-syntax/syntax-v8.tex @@ -765,8 +765,6 @@ Conflicts exists between integers and constrs. %% plugins/ring \nlsep \TERM{quote}~\NT{ident}~\OPTGR{\KWD{[}~\PLUS{\NT{ident}}~\KWD{]}} \nlsep \TERM{ring}~\STAR{\tacconstr} -%% plugins/romega -\nlsep \TERM{romega} \SEPDEF \DEFNT{orient} \KWD{$\rightarrow$}~\mid~\KWD{$\leftarrow$} |