% ;;; Local Variables: *** % ;;; eval: (ispell-change-dictionary "francais" nil) *** % ;;; mode: flyspell *** % ;;; eval: (flyspell-buffer) *** % ;;; End: ***Il ne reste plus qu'à taper y au chargement pour qu'il exéute ces commandes.
export TEXINPUTS=::${HOME}/lib/Latex//:.
\usepackage{makeidx}
\makeindex
|
\index{Algo}
\index{Algo!glouton}
\index{Algo!dynamique}
\printindex
|
\usepackage{graphicx}
\DeclareGraphicsExtensions{.jpeg,.jpg,.pdf}
\graphicspath{{Images/}{SigPicture/}}
|
% EPS postcript encapsulé
\includegraphics{dessin.eps}
% jpg
\includegraphics[width=2cm,height=8mm]{photo.jpg}
% choix de l'extension par le compilateur
% selon la déclaration avant et dans la mesure où ils existent
% entre photo.pdf photo.eps photo.jpg...
\includegraphics{photo}
|
\usepackage{listings}
\lstset{language=[objective]caml}
\lstset{numbers=left, numberstyle=\scriptsize\sl}
\lstset{stepnumber=1, numbersep=5pt}
\lstset{basicstyle=\ttfamily}
\lstset{keywordstyle=}
|
\begin{lstlisting}
(implique false) ;;
let f=(implique false) in (f true) ;;
implique (false) ;;
implique true false ;;
implique false false ;;
implique (true false) ;;
\end{lstlisting}
\lstinputlisting[firstline=2]{exo4.ml}
|
\usepackage{draftwatermark}
\SetWatermarkFontSize{5cm}
\SetWatermarkScale{5}
\SetWatermarkText{Copie de travail}
|