README

*** ATTENTION : Ce repository n'est plus maintenu.
*** Le cours a été découpé en 2 activités d'apprentissages
*** dans le nouveau décret paysage.
*** cf : https://github.com/HEB-ESI/DEV1-ALM-Syllabus-Algo 
*** et https://github.com/HEB-ESI/DEV2-ALM-Syllabus-Algo

========================================================================
  Slides pour le cours de Logique 1ère année à l’ESI 
  (http://www.heb.be/esi)
  Contact : mcodutti@heb.be
========================================================================

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

Le document LaTeX est découpé en plusieurs parties
  log1.tex    : le document maitre
  log1.sty    : le style fait maison 
  algoesi.sty   : style pour de beaux algorithmes
  auto.sty    : le style créé par l'outil de conversion
  log1-debut.tex    : les premières pages (page de garde, toc)
  log1-chapitre-*   : les chapitres
  log1-annexe   : l'annexe
  log1-fin    : les dernières pages (vide pour l’instant)
  
Pour produire le document : pdflatex log1.tex

Pour inclure l'index, il faut compiler avec~:

   pdflatex log1.tex
   makeindex -s perso.ist log1.idx
   pdflatex log1.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