GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 23:45:23 +03:00
Code Issues Projects Releases Wiki Activity

Update operator names in Cryptol book index.

Browse Source
This commit is contained in:
Brian Huffman 2018-07-20 09:00:29 -07:00
parent 6201415c66
commit eef8924dfe
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/ProgrammingCryptol/utils/Indexes.tex
View File

@ -16,13 +16,13 @@
\newcommand{\indShiftRight}{\index{AAAshiftleft@\texttt{>>}, \ (shift right)}\xspace}
\newcommand{\indRotLeft}{\index{AAArotateleft@\texttt{<<<}, \ (rotate left)}\xspace}
\newcommand{\indRotRight}{\index{AAArotateright@\texttt{>>>}, \ (rotate right)}\xspace}
\newcommand{\indOr}{\index{AAAor@\texttt{"|}, \ (or)}\xspace}
\newcommand{\indAnd}{\index{AAAandand@\texttt{"\&}, \ (and)}\xspace}
\newcommand{\indOr}{\index{AAAor@\texttt{"|"|}, \ (or)}\xspace}
\newcommand{\indAnd}{\index{AAAandand@\texttt{"\&"\&}, \ (and)}\xspace}
\newcommand{\indXOr}{\index{AAAxor@\texttt{\;\;"\^}, \ (xor)}\xspace}
\newcommand{\indComplement}{\index{AAAcomplement@\texttt{\;\;"\~}, \ (complement)}\xspace}
\newcommand{\indPlus}{\index{AAAplus@\texttt{"+}, \ (add)}\xspace}
\newcommand{\indMinus}{\index{AAAminus@\texttt{"-}, \ (subtract)}\xspace}
\newcommand{\indExponentiate}{\index{AAAexponentiate@\texttt{"*"*}, \ (exponentiate)}\xspace}
\newcommand{\indExponentiate}{\index{AAAexponentiate@\texttt{"\^{}"\^{}}, \ (exponentiate)}\xspace}
\newcommand{\indUnaryMinus}{\index{AAAunaryMinus@\texttt{"-}, \ (unary minus)}\xspace}
\newcommand{\indTimes}{\index{AAAtimes@\texttt{"*}, \ (multiply)}\xspace}
\newcommand{\indDiv}{\index{AAAdiv@\texttt{"/}, \ (divide)}\xspace}
@ -154,7 +154,7 @@
\newcommand{\indCmdLoad}{\index{commands!load@\texttt{:l}\ (load)}\xspace}
\newcommand{\indCmdReload}{\index{commands!reload@\texttt{:r}\ (reload)}\xspace}
\newcommand{\indCmdType}{\index{commands!type@\texttt{:t}\ (type)}\xspace}
\newcommand{\indCmdShell}{\index{commands!shell@\texttt{"!}\ (shell)}\xspace}
\newcommand{\indCmdShell}{\index{commands!shell@\texttt{:"!}\ (shell)}\xspace}
\newcommand{\indCmdEdit}{\index{commands!edit@\texttt{:e}\ (edit)}\xspace}
\newcommand{\indCmdHelp}{\index{commands!help@\texttt{:?}\ (help)}\xspace}
\newcommand{\indCmdQuit}{\index{commands!quit@\texttt{:q}\ (quit)}\xspace}