merge proof correction
[coq-hetmet.git] / examples / tex-bits / prlyx.def
1 %%
2 %% This is file `prlyx.def',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% preview.dtx  (with options: `lyx')
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 prlyx.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 \pr@loadcfg{prlyx}
27 \g@addto@macro\pr@ship@end{\typeout{Preview:
28   Snippet \number\pr@snippet\space
29   \number\ht\pr@box\space \number\dp\pr@box \space\number\wd\pr@box}}
30 \endinput
31 %%
32 %% End of file `prlyx.def'.