products/sources/formale sprachen/C/Lyx/lib/doc/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: bug_5096.v   Sprache: Coq

Untersuchungsergebnis.in Download desScala {Scala[79] Latech[107] Isabelle[153]}zum Wurzelverzeichnis wechseln

#This file was created by <lasgoutt> Fri Jan 15 09:26:26 1999
#LyX 1.0 (C) 1995-1998 Matthias Ettrich and the LyX Team
\lyxformat 2.15
\textclass article
\language default
\inputencoding default
\fontscheme default
\graphics dvips
\paperfontsize 0
\spacing single 
\papersize a4paper
\paperpackage a4
\use_geometry 0
\use_amsmath 0
\paperorientation portrait
\secnumdepth 2
\tocdepth 3
\paragraph_separation indent
\defskip medskip
\quotes_language english
\quotes_times 2
\papercolumns 1
\papersides 1
\paperpagestyle plain

\layout Title

Inventory of your LaTeX configuration
\layout Author

Automatically generated by LyX (do not edit).
\layout Date

@chk_date@
\layout Standard

This file describes the different LaTeX add-ons that LyX can handle.
 Below you'll find four sections:
\layout Enumerate

The document classes that should be standard on any LaTeX implementation.
 This section is only here for completeness.
\layout Enumerate

Some optional document classes that LyX knows about.
 If one of these is marked as missing (the 
\begin_inset Quotes eld
\end_inset 

Found
\begin_inset Quotes erd
\end_inset 

 item is no), you can grab it at your nearest CTAN mirror
\begin_float footnote 
\layout Standard

The participating hosts in the Comprehensive TeX Archive Network are:
\layout LyX-Code

ftp://ftp.dante.de/tex-archive
\layout LyX-Code

ftp://ftp.shsu.edu/tex-archive
\layout LyX-Code

ftp://ftp.tex.ac.uk/tex-archive
\end_float 
 if you need its functionality (at the location indicated in the 
\begin_inset Quotes eld
\end_inset 

CTAN
\begin_inset Quotes erd
\end_inset 

 item).
 Note that only detected document classes can be selected as document layouts
 in LyX.
\layout Enumerate

Some common LaTeX packages that you might need with LyX, and you might also
 want to add to your LaTeX installation.
 The detection of these items does not yet affect the options available
 inside LyX.
\layout Enumerate

Some common fonts that LyX knows about.
 This is rather sparse at the moment.
\layout Standard

Note that most of these packages will be available if you use a modern TeX
 distribution such as teTeX.
 If you decide to install one of the missing items, you should tell LyX
 about it.
 After the installation, please use the menu entry 
\family sans 
\bar under 
O
\bar default 
ptions->
\bar under 
R
\bar default 
econfigure
\begin_float footnote 
\layout Standard

or, if you want to change the system-wide settings, issue the command 
\family typewriter 
./configure
\family default 
 from the LyX system directory (by default 
\family typewriter 
/usr/local/lib/lyx/
\family default 
)
\end_float 
 and reload this file to see if the new package was recognized.
 If the 
\begin_inset Quotes eld
\end_inset 

Found
\begin_inset Quotes erd
\end_inset 

 items read 
\begin_inset Quotes eld
\end_inset 

???
\begin_inset Quotes erd
\end_inset 

, then it means that, for some reason, LyX could not do the inventory of
 your LaTeX configuration.
 If you are using teTeX, it might happen that the new package you just installed
 is not found.
 This is because you forgot to run the command 
\family typewriter 
texhash
\family default 
, which tells teTeX to update its own configuration.
\layout Section

Standard LaTeX document classes
\layout Standard

The document classes presented in this section are the basic document classes
 provided by LaTeX.
 In particular, they are all present on your system as long as LaTeX2e is
 installed.
 When the text indicates that a particular class has not been found, this
 means the the layout file supporting this particular class has not been
 found.
\layout Subsection

article
\layout Description

Found: @chk_article@
\layout Description

CTAN: N/A
\layout Description

Notes: The standard document class 
\family sans 
article
\family default 
 is used to type articles or short texts.
 It is the basic LaTeX document class.
\layout Subsection

report
\layout Description

Found: @chk_report@
\layout Description

CTAN: N/A
\layout Description

Notes: The standard document class 
\family sans 
report
\family default 
 is similar to 
\family sans 
article
\family default 
 but is slightly more structured (support for different parts).
\layout Subsection

book
\layout Description

Found: @chk_book@
\layout Description

CTAN: N/A
\layout Description

Notes: The standard document class 
\family sans 
book
\family default 
 is, as its name suggests, intended to produce books.
 It supports in particular sectioning by chapters.
\layout Subsection

letter
\layout Description

Found: @chk_letter@
\layout Description

CTAN: N/A
\layout Description

Notes: The standard document class 
\family sans 
letter
\family default 
 is the basic class for writing letters, mostly in English.
\layout Subsection

slides
\layout Description

Found: @chk_slides@
\layout Description

CTAN: N/A
\layout Description

Notes: The standard document class 
\family sans 
slides
\family default 
 is intended to produce transparencies.
 
\layout Section

Other document classes
\layout Subsection

aa
\layout Description

Found: @chk_aapaper@
\layout Description

CTAN: N/A (available from Springer's ftp site
\family typewriter 
 ftp.springer.de
\family default 
 in directory 
\family typewriter 
/pub/tex/latex/aa
\family default 
)
\layout Description

Notes: The document class 
\family sans 
aa
\family default 
 can be used to write articles for submission to the scientific journal
 
\emph on 
Astronomy and Astrophysics
\emph default 
 and the accompanying 
\emph on 
Supplement Series 
\emph default 
published by Springer -Verlag.
\layout Subsection

amsart
\layout Description

Found: @chk_amsart@
\layout Description

CTAN: 
\family typewriter 
fonts/ams/amslatex/inputs/
\layout Description

Notes: The document class 
\family sans 
amsart
\family default 
 is an alternative to the class 
\family sans 
article
\family default 
.
 It is part of the AMS-LaTeX package and is used for typesetting of mathematics
 with a look the American Mathematical Society has developed.
 They recommend it for the preparation of manuscripts intended for publication
 both in the Society's books and journals, and also in other mathematical
 literature.
 The Society requests that published documents prepared with AMS-LaTeX include
 an acknowledgment of its use.
 LyX support is still limited.
\layout Subsection

dinbrief
\layout Description

Found: @chk_dinbrief@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/dinbrief/
\layout Description

Notes: The document class 
\family sans 
dinbrief
\family default 
 can be used to type letters according to German conventions.
\layout Subsection

Springer 2-columns Journals (ejour2)
\layout Description

Found: @chk_ejour2@
\layout Description

CTAN: N/A (must be installed from the 
\family typewriter 
tex/
\family default 
 subdirectory of LyX source distribution)
\layout Description

Notes: The document class 
\family sans 
ejour2
\family default 
 is for the two-column journal format used by Springer Verlag.
 It is reasonably well tested only for the Journal of Geodesy.
 It is not an existing LaTeX document class, but a new one which is distributed
 with LyX.
\layout Subsection

foils
\layout Description

Found: @chk_foils@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/foiltex/
\layout Description

Notes: The document class 
\family sans 
foils
\family default 
 (aka FoilTeX) provides an alternative to the standard 
\family sans 
slides
\family default 
 class to make transparencies.
 It allows cross references, uses a less ugly font, and is in general much
 better to use than 
\family sans 
slides
\family default 
.
 It does not however have some of the advanced features found in the 
\family sans 
seminar
\family default 
 class, which is not currently supported by LyX.
 
\layout Subsection

hollywood
\layout Description

Found: @chk_hollywood@
\layout Description

CTAN: N/A (must be installed from the 
\family typewriter 
tex/
\family default 
 subdirectory of LyX source distribution)
\layout Description

Notes: The document class 
\family sans 
hollywood
\family default 
 can be used to type spec scripts for the U.S.
 film industry.
 It is not an existing LaTeX document class, but a new one which is distributed
 with LyX.
\layout Subsection

iletter
\layout Description

Found: @chk_iletter@
\layout Description

CTAN: N/A (must be installed from the 
\family typewriter 
tex/
\family default 
 subdirectory of LyX source distribution)
\layout Description

Notes: The document class 
\family sans 
iletter
\family default 
 can be used to type letters according to Italian conventions.
 It is not an existing LaTeX document class, but a new one which is distributed
 with LyX.
\layout Subsection

IEEEtran
\layout Description

Found: @chk_IEEEtran@
\layout Description

CTAN: N/A
\layout Description

Notes: The class
\family sans 
 IEEEtran 
\family default 
produces documents suitable for submission to most of the IEEE Transactions.
 The LaTeX files (including BibTeX style file) are available from the IEEE.
 Look for the Author Information pages at 
\family sans 
www.ieee.org
\family default 
.
 Note that there are IEEEtran.cls and IEEEtran.sty files you 
\emph on 
must
\emph default 
 get the .cls file for use with LyX as the .sty file is for LaTeX 2.09 only.
\layout Subsection

latex8
\layout Description

Found: @chk_latex8@
\layout Description

CTAN: N/A
\layout Description

Notes: The class 
\family sans 
latex8
\family default 
 is actually a LaTeX style file that adds some extra features to the 
\family sans 
article
\family default 
 document class.
 It produces documents suitable for submission to IEEE Conferences.
 The LaTeX files (including BibTeX style file) are available from the IEEE
 Computer Society's ftp site.
 They are also distributed with the Author Kit for IEEE sponsored conferences.
\layout Subsection

linuxdoc
\layout Description

Found: @chk_sgmltools@
\layout Description

CTAN: N/A
\layout Description

Notes: The class 
\family sans 
linuxdoc
\family default 
 is not a LaTeX document class.
 It is designed to produce LinuxDoc-SGML documents, which, in turn, can
 be exported as HTML, RTF, text or...
 LaTeX.
 You need to have the 
\family sans 
sgml-tools
\family default 
 (previously known as 
\family sans 
LinuxDoc
\family default 
) set of programs installed to use this.
 
\layout Subsection

paper
\layout Description

Found: @chk_paper@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/paper/
\layout Description

Notes: The document class 
\family sans 
paper
\family default 
 provides an alternative to the standard 
\family sans 
article
\family default 
 class.
 It provides similar functionality, but you might prefer this layout with
 sans serif sections, headings, and more.
\layout Subsection

Koma-Script (scrartcl, scrreprt, scrbook)
\layout Description

Found: @chk_scrartcl@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/koma-script/
\layout Description

Notes: These document classes provide different versions of the base LaTeX
 document classes 
\family sans 
article
\family default 
, 
\family sans 
report
\family default 
 and 
\family sans 
book
\family default 
.
 They have been changed to look somewhat better and be more adapted to european
 typesetting standards.
\layout Subsection

REVTeX
\layout Description

Found: @chk_revtex@
\layout Description

CTAN: 
\family typewriter 
macros/latex209/contrib/revtex/
\layout Description

Notes: The document class 
\family sans 
revtex
\family default 
 is used to write articles for the publications of the American Physical
 Society (APS), American Institute of Physics (AIP), and Optical Society
 of America (OSA).
 For better results, you should use the file 
\family typewriter 
revtex.cls
\family default 
 from the 
\family typewriter 
tex/
\family default 
 subdirectory of LyX source distribution.
\layout Section

Paper layout packages
\layout Standard

Changing the margins of a document is one thing people like to do.
 While LaTeX offers built-in options to set the margins of the documents,
 some people feel that these margins are too large and want to set them
 up differently.
 You can use the package 
\family sans 
geometry 
\family default 
for this purpose, but note that for the sake of readability, your lines
 should not contain more than 60-70 characters.
\layout Subsection

a4
\layout Description

Found: @chk_a4@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/ntgclass/
\layout Description

Notes: The package 
\family sans 
a4
\family default 
 changes the margins of your document to suit the European A4 page dimensions
 with smaller margins that the default A4 format.
\layout Subsection

a4wide
\layout Description

Found: @chk_a4wide@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/other/misc/
\layout Description

Notes: The package 
\family sans 
a4wide
\family default 
 is another package that allows setting of the margins of your document
 to A4 paper.
 With this package, the margins are very wide, but do not follow typographical
 conventions.
\layout Subsection

geometry
\layout Description

Found: @chk_geometry@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/geometry
\layout Description

Notes: The package 
\family sans 
geometry
\family default 
 allows to change the paper size and margins of your document in an arbitrary
 way.
 It does not provide a typographically correct page layout like 
\family sans 
a4
\family default 
 or the standard options, though.
\layout Section

Fonts
\layout Subsection

EC fonts
\layout Description

Found: @chk_ec@
\layout Description

CTAN: 
\family typewriter 
fonts/ec
\layout Description

Notes: LaTeX does not require the use of 
\family sans 
ec
\family default 
 fonts, however they are strongly recommended.
 The 
\family sans 
ec
\family default 
 fonts are available in a more natural range of sizes and allow better hyphenati
on and kerning than the old fonts such as 
\family sans 
cmr10
\family default 
.
 If you already have the so-called 
\family sans 
dc
\family default 
 fonts installed, please upgrade to the 
\family sans 
ec
\family default 
 fonts, which replace them.
 They are used automatically if LyX determines that you have them installed.
\layout Subsection

psnfss
\layout Description

Found: @chk_psnfss@
\layout Description

CTAN: 
\family typewriter 
macros/latex/packages/psnfss/
\layout Description

Notes: The package 
\family sans 
psnfss
\family default 
 allows you to change the fonts used by LyX to one of the 35 classical PostScrip
t® fonts of basic PostScript® printers.
 Currently, the support for 
\family sans 
psnfss
\family default 
 is limited in LyX: you can only chose a few combinations of PostScript®
 fonts in 
\family sans 
\size normal 
Layout->Document
\family default 
\size default 
.
\layout Section


\series bold 
\size large 
Other packages
\layout Subsection

algorithm
\layout Description

Found: @chk_algorithm@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/algorithms/
\layout Description

Notes: The package 
\family sans 
algorithm
\family default 
 is needed by LyX to be able to output 
\begin_inset Quotes eld
\end_inset 

algorithm-floats
\begin_inset Quotes erd
\end_inset 

.
 These are useful in placing short algorithms across pagebreaks and support
 an 
\begin_inset Quotes eld
\end_inset 

index of algorithms
\begin_inset Quotes erd
\end_inset 

 too.
\layout Subsection

babel
\layout Description

Found: @chk_babel@
\layout Description

CTAN: 
\family typewriter 
macros/latex/packages/babel/
\layout Description

Notes: The package 
\family sans 
babel
\family default 
 allows you to customize your document for your favorite language (see the
 
\family sans 
\size normal 
Layout->Document
\family default 
\size default 
  popup).
 In particular, it handles hyphenation and automatic translation of all
 labels like 
\begin_inset Quotes eld
\end_inset 

Chapter
\begin_inset Quotes erd
\end_inset 

  and 
\begin_inset Quotes eld
\end_inset 

Table of contents
\begin_inset Quotes erd
\end_inset 

.
 This package is not needed if you only plan to write in English, except
 if you want to use non-English quotes.
\layout Subsection

color
\layout Description

Found: @chk_color@
\layout Description

CTAN: 
\family typewriter 
macros/latex/packages/graphics/
\layout Description

Notes: The package 
\family sans 
color
\family default 
 is needed by LyX to handled colored text.
 These colors will only show on the printed output or with a PostScript®
 previewer.
 This package is bundled with the 
\family sans 
graphics
\family default 
 package (see 
\begin_inset LatexCommand \ref{ssec:graphics}

\end_inset 

).
\layout Subsection

fancyhdr
\layout Description

Found: @chk_fancyhdr@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/fancyhdr/
\layout Description

Notes: The package 
\family sans 
fancyhdr
\family default 
 (previously known as 
\family sans 
fancyheadings
\family default 
) is used when you select the 
\begin_inset Quotes eld
\end_inset 

fancy
\begin_inset Quotes erd
\end_inset 

  page style in the document layout popup.
 It provides alternate headers and footers to your pages.
\layout Subsection

floatflt
\layout Description

Found: @chk_floatflt@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/other/floatflt/
\layout Description

Notes: The package
\family sans 
 floatflt 
\family default 
(an extension of 
\family sans 
floatfig
\family default 
) is used by LyX if you select the ``floatflt'' type in 
\family sans 
Layout->Paragraph->ExtraOpt
\family default 
 in the paragraph of a figure float.
 It allows you to create a figure float which is narrower than the full
 page and wrap the text around it.
\layout Subsection


\begin_inset LatexCommand \label{ssec:graphics}

\end_inset 

graphics
\layout Description

Found: @chk_graphics@
\layout Description

CTAN: 
\family typewriter 
macros/latex/packages/graphics/
\layout Description

Notes: The package 
\family sans 
graphics
\family default 
 is needed by LyX to insert PostScript® figures.
 You will also need the program 
\family typewriter 
\size normal 
ghostview
\family default 
\size default 
 to see them on screen.
 The configuration script has determined that the graphics driver used by
 the package should be 
\family sans 

\begin_inset Quotes eld
\end_inset 

@chk_graphicsdriver@
\begin_inset Quotes erd
\end_inset 


\begin_float footnote 
\layout Standard

Here, a value of 
\latex no_latex 

\begin_inset Quotes eld
\end_inset 


\latex default 
default
\latex no_latex 

\begin_inset Quotes erd
\end_inset 


\latex default 
 means that your LaTeX installation provides a sensible value for this parameter.
\end_float 
.
\layout Subsection

linuxdoc-sgml
\layout Description

Found: @chk_linuxdoc-sgml@
\layout Description

CTAN: N/A
\layout Description

Notes: The package 
\family sans 
graphics
\family default 
 is needed by LaTeX to process files generated by the 
\family sans 
sgml-tools
\family default 
 set of programs (see above).
 If you see 
\begin_inset Quotes eld
\end_inset 

no
\begin_inset Quotes erd
\end_inset 

 here whereas you now that you have
\family sans 
 sgml-tools
\family default 
 installed you probably forgot to install correctly the file 
\family typewriter 
linuxdoc-sgml.sty
\family default 
 in some place where LaTeX can find it.
\layout Subsection

rotating
\layout Description

Found: @chk_rotating@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/rotating
\layout Description

Notes: The package 
\family sans 
rotating
\family default 
 is needed by LyX to change the orientation of some parts of your documents.
 Note that it only really works with a PostScript® compatible printer.
\layout Subsection

subfigure
\layout Description

Found: @chk_subfigure@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/subfigure
\layout Description

Notes: The package
\family sans 
 subfigure 
\family default 
is used by LyX when you select ``subfigure'' in the EPS figure popup.
 Several figures marked in this way can be packed into a single float with
 individual subcaptions.
\layout Subsection

setspace
\layout Description

Found: @chk_setspace@
\layout Description

CTAN: 
\family typewriter 
macros/latex/contrib/supported/setspace/
\layout Description

Notes: The package 
\family sans 
setspace
\family default 
 is needed by LyX to change the line spacing of your document.
\layout Subsection

longtable
\layout Description

Found: @chk_longtable@
\layout Description

CTAN: 
\family typewriter 
macros/latex/packages/tools/longtable.dtx
\layout Description

Notes: The package 
\family sans 
longtable
\family default 
 is needed by LyX to be able to output correctly multipage tables.
\layout Subsection

url
\layout Description

Found: @chk_url@
\layout Description

CTAN: 
\family typewriter 
not sure
\layout Description

Notes: The package 
\family sans 
url
\family default 
 is needed by LyX to be able to output url's corrently.
\the_end

[ zur Elbe Produktseite wechseln0.116Quellennavigators  ]