README

========================================================================
  Slides pour le cours de Logique 2ème année à l'ESI 
  (http://www.heb.be/esi)
  Contact : cleruste@heb.be
========================================================================

Le document de base a été obtneu par conversion de la version ODT
via l'outil writer2latex (w2l).

Le document LaTeX esr découpé en plusieurs parties
	log2.tex		: Le document maitre
	lo21.sty		: Le style fait maison 
	algoesi.sty		: style pour de beaux algorithmes
	auto.sty		: Le style créé par l'outil de conversion
	log2-debut.tex		: les premières pages (page de garde, toc)
	log2-chapitre-*		: les chapitres
	log2-annexe		: l'annexe
	log2-fin		: les dernières pages (vide pour l'instant)
	
Pour produire le document : pdflatex log2.tex
Le document est gros.
Pour compiler plus vite, on peut 
- décommenter la ligne \includeonly
- ou utiliser rubber qui offre une option 
  pour choisir le chapitre à compiler