bundle preview.sty to avoid versioning headaches
[coq-hetmet.git] / examples / tex-bits / prauctex.def
1 %%
2 %% This is file `prauctex.def',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% preview.dtx  (with options: `auctex')
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 prauctex.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 \nofiles
27 \preview@delay{\nonstopmode}
28 \begingroup
29 \lccode`\~=`\-
30 \lccode`\{=`\<
31 \lccode`\}=`\>
32 \lowercase{\endgroup
33   \def\pr@msgi{{~}}}
34 \def\pr@msgii{Preview:
35    Snippet \number\pr@snippet\space}
36 \begingroup
37 \catcode`\-=13
38 \catcode`\<=13
39 \@firstofone{\endgroup
40 \def\pr@msg#1{{%
41    \let<\pr@msgi
42    \def-{\pr@msgii#1}%
43    \errhelp{Not a real error.}%
44    \errmessage<}}}
45 \g@addto@macro\pr@ship@start{\pr@msg{started}}
46 \g@addto@macro\pr@ship@end{\pr@msg{ended.%
47   (\number\ht\pr@box+\number\dp\pr@box x\number\wd\pr@box)}}
48 \hbadness=\maxdimen
49 \newcount\hbadness
50 \vbadness=\maxdimen
51 \let\vbadness=\hbadness
52 \hfuzz=\maxdimen
53 \newdimen\hfuzz
54 \vfuzz=\maxdimen
55 \let\vfuzz=\hfuzz
56 \showboxdepth=-1
57 \showboxbreadth=-1
58 \pr@loadcfg{prauctex}
59 \endinput
60 %%
61 %% End of file `prauctex.def'.