~mdw
/
doc
/
ips
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix typos. Replace proof that PRPs are PRFs. Other fixes.
[doc/ips]
/
ips.cls
diff --git
a/ips.cls
b/ips.cls
index
2ecc62a
..
f5f20d7
100644
(file)
--- a/
ips.cls
+++ b/
ips.cls
@@
-142,6
+142,11
@@
\def\topic{\sm@auxwrite{topic}}
\fi
\def\topic{\sm@auxwrite{topic}}
\fi
+\newcounter{sequence}
+\def\thesequence{\arabic{sequence}}
+\def\seq{\stepcounter{sequence}\thesequence}
+\def\resetseq{\setcounter{sequence}{0}}
+
\def\head#1{{\sffamily\bfseries\large #1}\par}
%%%------ Page layout for notes ---------------------------------------------
\def\head#1{{\sffamily\bfseries\large #1}\par}
%%%------ Page layout for notes ---------------------------------------------