update to use Control.GArrow instead of GHC.HetMet.GArrow
[coq-hetmet.git] / examples / tex-bits / prcounters.def
1 %%
2 %% This is file `prcounters.def',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% preview.dtx  (with options: `counters')
8 %% 
9 %% IMPORTANT NOTICE:
10 %% 
11 %% For the copyright see the source file.
12 %% 
13 %% Any modified versions of this file must be renamed
14 %% with new filenames distinct from prcounters.def.
15 %% 
16 %% For distribution of the original source see the terms
17 %% for copying and modification in the file preview.dtx.
18 %% 
19 %% This generated file may be distributed as long as the
20 %% original source files, as listed above, are part of the
21 %% same distribution. (The sources need not necessarily be
22 %% in the same archive or directory.)
23 %%    The preview style for extracting previews from LaTeX documents.
24 %%    Developed as part of AUCTeX <URL:http://www.gnu.org/software/auctex>.
25 \ifPreview\else\expandafter\endinput\fi
26 \def\pr@eltprint#1{\expandafter\@gobble\ifnum\value{#1}=0%
27   \csname pr@c@#1\endcsname\else\relax
28   \space{#1}{\arabic{#1}}\fi}
29 \def\pr@eltdef#1{\expandafter\xdef
30   \csname pr@c@#1\endcsname{\arabic{#1}}}
31 \def\pr@ckpt#1{{\let\@elt\pr@eltprint\edef\next{\cl@@ckpt}%
32   \ifx\next\@empty\else\typeout{Preview: Counters\next#1}%
33   \let\@elt\pr@eltdef\cl@@ckpt\fi}}
34 \pr@addto@front\pr@ship@start{\pr@ckpt:}
35 \pr@addto@front\pr@ship@end{\pr@ckpt.}
36 \endinput
37 %%
38 %% End of file `prcounters.def'.