Newer
Older
\documentclass[12pt,twoside,titlepage,a4paper]{report}
%\usepackage{/usr/local/common/TEXINPUTS/verimagreport}
%\usepackage[latin1]{inputenc}
%\usepackage[francais]{babel} % francais
%\usepackage{graphicx}
\usepackage{latexsym}
\usepackage{a4wide}
\usepackage[pdftex]{color}
\usepackage[pdftex, backref, colorlinks, linkcolor=blue]{hyperref}
\usepackage[pdftex]{graphicx}
\usepackage{mycolor}
%\usepackage{times}
\usepackage{fancyhdr}
\usepackage{lastpage}
\usepackage{alltt}
\usepackage{amssymb}
\usepackage{longtable}
\usepackage{bold-extra}
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
%\reportnumber{?}
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %%%% HTMl stuff
% \usepackage{hyperlatex}
% %\usepackage[colorlinks, linkcolor=blue,pdftex]{hyperref}
% \htmltitle{The Lustre V6 Reference Manual}
% \usepackage{frames}
%
% \htmldirectory{html}
% \setcounter{htmldepth}{3}
% \setcounter{htmlautomenu}{3}
% %\htmlpanel{1}
% % \htmlpanelfield{Table of contents}{tableofcontents}
% % \htmlpanelfield{Contents}{hlxcontents}
% % \htmlpanelfield{Index}{hlxindex}
% %\HlxPrevUrl
% \W\usepackage{sequential}
% \htmlrule
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Checks whether we are compiling under latex or pdflatex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% this might be eliminated as likely already input anyway
%\ifx\pdftexversion\undefined
% \usepackage[dvips]{graphicx}
% \usepackage[dvips, backref, colorlinks, linkcolor=blue]{hyperref}
%\else
% \usepackage[pdftex]{graphicx}
% \usepackage[pdftex, backref, colorlinks, linkcolor=blue]{hyperref}
%\fi
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% headers
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\definecolor{grey}{rgb}{0.5,0.5,0.5}
%\definecolor{blue}{rgb}{0.25,0.35,0.45}
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
% \newlength \headmargin
% \setlength \headmargin {1cm}
% \addtolength \headmargin{-\oddsidemargin}
% \addtolength \headmargin{-1in}
% \addtolength \headmargin{-\hoffset}
% \newlength \topsave
% \setlength \topsave {1in}
% \addtolength \topsave {-4cm}
% \addtolength \topsave {-\topmargin}
% \newlength \newfs
% \setlength \newfs {\paperheight}
% \addtolength \newfs {-6cm}
% \addtolength \newfs {-\headsep}
% \addtolength \newfs {-\textheight}
% \renewcommand{\headrulewidth}{1pt}
% \renewcommand{\footrulewidth}{1pt}
% \headheight 15pt
% \footskip 30pt
% \fancyhf{}
\fancyhead[LO, RE]{\color{grey} \hyperlink{toc}{Table of contents}}
\fancyhead[RO, LE]{\color{grey} \thepage /\pageref{LastPage}}
\fancyfoot[LO, RE]{\color{grey} }
\fancyfoot[RO, LE]{\color{grey} }
\pagestyle{fancy}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{commandes}
\input{exemple-env}
\title{The Lustre V6 Reference Manual (draft)}
\author{
}
\date{Initial version: \today \\
Last update: \today}
%\newcommand{\sx}[1]{{\bf \mbox{\it \hyperlink{#1}{#1} }}}
\newcommand{\sx}[1]{{\bf $\langle$\mbox{\it \hyperlink{#1}{#1}$\rangle$}}}
\newcommand{\sxDef}[1]{{\bf $\langle$\mbox{\it \hypertarget{#1}{#1}$\rangle$}}}
%\newcommand{\sx}[1]{$\langle$\mbox{\it\kwdd{#1}}$\rangle$}
%% \newcommand{\lx}[1]{``\mbox{\tt #1}''}
\newcommand{\lx}[1]{``\mbox{\kwd{#1}}''}
\newcommand{\is}{&::=&}
\newcommand{\myor}{\\ &$|$&}
\newcommand{\sor}{$\;|\;$}
\newcommand{\mysp}{\hspace*{8mm}}
\newcommand{\prag}{\sx{$\cal P$}}
\newcommand{\conc}[1]{#1}
\newcommand{\abst}[1]{#1}
%\newcommand {\bnfdef}{\mbox{\ $::=$\ }}
\newcommand {\bnfor}{\mbox{\ $|$\ }}
\newcommand {\key}[1]{\mbox{\texttt{\textbf{#1}}}}
\newcommand {\syn}[1]{\mbox{\it #1}}
\newcommand {\opt}[1]{\mbox{$[$ #1 $]$}}
\newcommand {\oom}[1]{\mbox{$\{$ #1 $\}^+$}}
\newcommand {\zom}[1]{\mbox{$\{$ #1 $\}^*$}}
\newcommand {\comm}[1]{\framebox{#1}}
\newcommand{\change}[2]{
\item[#1] #2
}
\gdef\SetFigFont#1#2#3#4#5{}