source: src/ASM/CPP2012-asm/llncsdoc.sty @ 2052

Last change on this file since 2052 was 2052, checked in by mulligan, 7 years ago

Initial commit of proposed CPP 2012 paper on the proof of correctness for assembler.

File size: 1.5 KB
Line 
1% This is LLNCSDOC.STY the modification of the
2% LLNCS class file for the documentation of
3% the class itself.
4%
5\def\AmS{{\protect\usefont{OMS}{cmsy}{m}{n}%
6  A\kern-.1667em\lower.5ex\hbox{M}\kern-.125emS}}
7\def\AmSTeX{{\protect\AmS-\protect\TeX}}
8%
9\def\ps@myheadings{\let\@mkboth\@gobbletwo
10\def\@oddhead{\hbox{}\hfil\small\rm\rightmark
11\qquad\thepage}%
12\def\@oddfoot{}\def\@evenhead{\small\rm\thepage\qquad
13\leftmark\hfil}%
14\def\@evenfoot{}\def\sectionmark##1{}\def\subsectionmark##1{}}
15\ps@myheadings
16%
17\setcounter{tocdepth}{2}
18%
19\renewcommand{\labelitemi}{--}
20\newenvironment{alpherate}%
21{\renewcommand{\labelenumi}{\alph{enumi})}\begin{enumerate}}%
22{\end{enumerate}\renewcommand{\labelenumi}{enumi}}
23%
24\def\bibauthoryear{\begingroup
25\def\thebibliography##1{\section*{References}%
26    \small\list{}{\settowidth\labelwidth{}\leftmargin\parindent
27    \itemindent=-\parindent
28    \labelsep=\z@
29    \usecounter{enumi}}%
30    \def\newblock{\hskip .11em plus .33em minus -.07em}%
31    \sloppy
32    \sfcode`\.=1000\relax}%
33    \def\@cite##1{##1}%
34    \def\@lbibitem[##1]##2{\item[]\if@filesw
35      {\def\protect####1{\string ####1\space}\immediate
36    \write\@auxout{\string\bibcite{##2}{##1}}}\fi\ignorespaces}%
37\begin{thebibliography}{}
38\bibitem[1982]{clar:eke3} Clarke, F., Ekeland, I.: Nonlinear
39oscillations and boundary-value problems for Hamiltonian systems.
40Arch. Rat. Mech. Anal. {\bf 78} (1982) 315--333
41\end{thebibliography}
42\endgroup}
Note: See TracBrowser for help on using the repository browser.