Commit 9b7c23af authored by Erwan Jahier's avatar Erwan Jahier

Refuse constraint where modulo and div is applied on controllable.

Add the lutin tuto.
parent d87b5dcb
#----------------------------------------------------------
#
# Slides pdf "animés" avec :
#
# - beamer
# - le splitfig-beamer de Florence
# qui permet de specifier des animations
# complexes.
#
# - N.B. on passe par mk3, un script qui
# part d'un .fig et fait tout le boulot
# (splitfig + fig2dev)
#
# N.B.
# make -r => supprime toutes les regles par défaut
# make -r -d -n => pour voir ce qui ce passe ...
#----------------------------------------------------------
.PHONY : all handout clean
# Supprime les règles de suffixe par défaut
.SUFFIXES :
all:$(OBJDIR) fig target
MAIN=lutin-tuto
FIGS=./figs
OBJDIR =./obj
# Le(s) source(s) latex
SRC = main.org pdf-preambule.org html-preambule.org
# Les figures
FIGPDF = \
$(OBJDIR)/demarche-it-en.tex
IMGDIR = $(OBJDIR)/smile.gif $(OBJDIR)/detective.gif $(OBJDIR)/demarche-it-en.jpg
html:$(OBJDIR) $(MAIN)-html.html
TARGETS= $(MAIN)-pdf.pdf $(MAIN)-handout.pdf grille.pdf $(MAIN)-html.html
# La présentation animée
target: $(TARGETS)
anim: $(MAIN)-pdf.pdf
# Handout 2x3
handout: grille.pdf
# Force la recompil
re :
make handout
fig:$(OBJDIR)
make $(FIGPDF)
png:$(OBJDIR)
cp -rf png $(OBJDIR)
%.pdf: $(OBJDIR)/%.pdf
cp $< $@
$(MAIN)-html.org: html-preambule.org main.org
rm -f $(MAIN)-html.org
echo "# XXX Edite plutot le main.org patate ! " > $(MAIN)-html.org
cat html-preambule.org main.org | sed -e 's/\\pause//g' \
| sed -e 's/^html://g'\
| sed -e 's/^html\.//g'\
| sed -e 's/:B_note://g' >> $(MAIN)-html.org
chmod u-w $(MAIN)-html.org
$(MAIN)-pdf.org: pdf-preambule.org main.org
rm -f $(MAIN)-pdf.org
echo "# XXX Edite plutot le main.org patate ! " > $(MAIN)-pdf.org
cat pdf-preambule.org main.org \
| perl -ne 'print if not /^html:/../^html\./' >> $(MAIN)-pdf.org
chmod u-w $(MAIN)-pdf.org
$(MAIN)-pdf.pdf : $(OBJDIR) $(OBJDIR)/$(MAIN)-pdf.tex $(IMGDIR) $(MAIN)-pdf.org
(cd $(OBJDIR); pdflatex --shell-escape $(MAIN)-pdf.tex)
mv $(OBJDIR)/$(MAIN)-pdf.pdf .
noweb:
make $(OBJDIR)/$(MAIN)-pdf.noweb
$(OBJDIR):
mkdir -p $(OBJDIR)
make $(OBJDIR)/main.noweb
cp -f *.lut $(OBJDIR)
cp -rf crazy-rabbit $(OBJDIR)
$(OBJDIR)/%.jpg: figs/%.fig
fig2dev -L jpeg $< $@
%.gif: figs/%.fig
fig2dev -L gif -m 2 -S 4 $< $@
%.svg: figs/%.fig
fig2dev -L svg $< $@
%.png: figs/%.fig
fig2dev -L png -m 2 -S 4 $< $@
$(OBJDIR)/$(MAIN)-handout.pdf: $(OBJDIR)/$(MAIN)-handout.tex $(SRC)
(cd $(OBJDIR); pdflatex --shell-escape $(MAIN)-handout.tex)
cp $(OBJDIR)/$(MAIN)-handout.pdf .
grille.pdf : grille.tex $(OBJDIR)/$(MAIN)-handout.pdf
mkdir -p $(OBJDIR)
(cd $(OBJDIR); pdflatex --shell-escape ../grille.tex)
mv $(OBJDIR)/grille.pdf .
# version sans les animations (et sans les toc de section pour ne pas poluer la grille)
$(OBJDIR)/$(MAIN)-handout.tex: $(OBJDIR)/$(MAIN)-pdf.tex
sed -e 's/\\documentclass\[\(.*\)\]{beamer}/\n\
\\documentclass\[\1,handout\]{beamer}\n\
/' $(OBJDIR)/$(MAIN)-pdf.tex | \
sed -e 's/\\begin{frame}\\frametitle{Plan}\\setcounter{tocdepth}{2}\\tableofcontents\[currentsection\]\\end{frame}//' \
> $(OBJDIR)/$(MAIN)-handout.tex
# $(FIGS)/%.fig -> $(OBJDIR)/%.tex + toutes les couches
$(OBJDIR)/%.tex : $(OBJDIR)/%.fig $(IMGDIR)
cd $(OBJDIR); mk3 -b $*.fig
.PRECIOUS: $(OBJDIR)/*.jpg $(OBJDIR)/*.gif png/*.png
# $(FIGS)/%.jpg -> $(OBJDIR)/%.jpg
$(OBJDIR)/%.jpg : $(OBJDIR) $(FIGS)/%.jpg
cp $(FIGS)/$*.jpg $(OBJDIR)/$*.jpg
$(OBJDIR)/%.gif : $(OBJDIR) $(FIGS)/%.gif
cp $(FIGS)/$*.gif $(OBJDIR)/$*.gif
pdf : $(OBJDIR)/$(MAIN)-pdf.tex
make $(MAIN)-pdf.pdf
pdfall : pdf
make $(MAIN)-handout.pdf
make grille.pdf
html : $(MAIN)-html.html
rmhtml:
rm -f $(MAIN)-html.html
clean:
rm -rf $(TARGETS) $(MAIN)-html.org $(MAIN)-pdf.org obj/
rm -f *.aux *.o *.c *.h *.dro *.lus sh *~ Makefile.* *.log *.ec *.data *.rif *.gp *.html
$(OBJDIR)/%.png:ditaa/%.ditaa
cd ditaa; java -jar /home/jahier/dd/org-mode/contrib/scripts/ditaa.jar -s 3.5 -r $*.ditaa $*.png
cp ditaa/$*.png $(OBJDIR)/
# --directory=~/el_files/ \
# --directory=~/el_files/org-mode/ \
# --directory=~/el_files/org-mode/lisp/ \
# --load=~/.emacs-org \
# EMACS=emacs --load=emacs-org.el --batch
# XXXXX ne marche pas en batch !!!! depuis emacs, c'est bon par contre...
# mais ca oblige à editer lutin-tuto-html.org à chaque fois
# bon, ok, j'ai trouvé un moyen (bourrin): --eval "(kill-emacs)" -Q
EMACSBH=emacs --load=./emacs-org.el --batch
EMACSB=emacs --load=../emacs-org.el --batch
EMACS=emacs --load=../zenburn-theme.el --load=../emacs-org.el
# $(EMACS) --batch \
$(OBJDIR)/%.lut: %.lut
cp $< $@
LUTIN=$(shell ls *.lut | sed -e 's/^/obj\//')
$(OBJDIR)/%.fig: figs/%.fig
cp $< $@
$(OBJDIR)/%.org: %.org
cp $< $@
$(OBJDIR)/%.tex: $(OBJDIR)/%.org $(LUTIN)
cd $(OBJDIR); \
$(EMACSB) --visit=$*.org --funcall org-export-as-latex
cp $(OBJDIR)/$*.tex $(OBJDIR)/$*_.tex; \
sed -e "s/\\\usepackage{wasysym}//" $(OBJDIR)/$*_.tex > $(OBJDIR)/$*.tex
cp $(OBJDIR)/$*.tex $(OBJDIR)/$*_.tex; \
sed -e "s/\\\usepackage{marvosym}//" $(OBJDIR)/$*_.tex > $(OBJDIR)/$*.tex
$(OBJDIR)/%.noweb: %.org
$(EMACSBH) --visit=$*.org --funcall org-babel-tangle
%.html: $(OBJDIR)/%.html
cp $< $@
%.lut.html:%.lut
cd $(OBJDIR); \
$(EMACS) --eval "(htmlize-file \"$<\")" --eval "(kill-emacs)" -Q
$(OBJDIR)/%.html: $(OBJDIR)/%.org demarche-it-en.png
cd $(OBJDIR); \
$(EMACS) --visit=$*.org --eval "(load-theme 'zenburn)" --funcall org-export-as-html --eval "(kill-emacs)" -Q
# --eval "(setq org-export-headline-levels 2)" \
# --directory=~/el_files/ \
# --directory=~/el_files/org-mode/lisp/ \
# --load=/local/jahier/.emacs.d/elpa/htmlize-1.39/htmlize.el \
SYNCHRONE_DIR=/import/www/DIST-TOOLS/SYNCHRONE
www:
cp $(TARGETS) $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp demarche-it-en.png $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp -rf jpg $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp -rf png $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp -rf sh $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp -rf *.lut $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp slides.css $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
cp $(MAIN)-html.html $(SYNCHRONE_DIR)/lurette/doc/lutin-tuto/
#!/bin/bash
arg=$1
protocol=${arg:0:4}
file=${arg:5}
last=${arg: -3}
echo last=$last
case $protocol,$last in
"file",".sh")
echo "sh $file"
sh $file
;;
"file",*)
echo "exec emacsclient -c $file ; protocol=$protocol"
exec emacsclient -c $file
;;
"http",*)
sensible-browser $arg
;;
esac
;(package-initialize)
(setq load-path (cons (expand-file-name "~/el_files/") load-path))
(setq load-path (cons (expand-file-name "/local/jahier/.emacs.d/elpa/htmlize-1.39/") load-path))
(setq load-path (cons (expand-file-name "/local/jahier/.emacs.d/elpa/zenburn-theme-2.1/") load-path))
(require 'org)
;(require 'org-list)
(require 'org-latex)
(require 'htmlize)
(require 'ob)
(require 'ob-lutin)
(require 'zenburn)
;(load-theme 'zenburn)
;(require 'ox-beamer)
(font-lock-fontify-buffer)
;(add-to-list 'package-archives '("org" . "http://orgmode.org/elpa/") t)
(setq org-export-latex-listings t)
(add-to-list 'org-export-latex-packages-alist '("" "listings"))
(add-to-list 'org-export-latex-packages-alist '("" "color"))
(setq org-src-fontify-natively t)
(org-babel-do-load-languages
'org-babel-load-languages
'((emacs-lisp . t)
(ocaml . t)
(lutin . t)
(rif . t)
(sh . t)
)
)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;%-----------------------------------------------------------------------%
;;; lang mode
(setq auto-mode-alist (cons '("\\.rif$" . rif-mode) auto-mode-alist))
(autoload 'rif-mode "rif" "Major mode for viewing RIF outputs" t)
(setq auto-mode-alist (cons '("\\.sh$" . sh-mode) auto-mode-alist))
(setq auto-mode-alist (cons '("\\.lus$" . lustre-mode) auto-mode-alist))
(setq auto-mode-alist (cons '("\\.lut$" . lutin-mode) auto-mode-alist))
(autoload 'lutin-mode "lutin" "Edition de code lutin" t)
(setq auto-mode-alist (cons '("\\.ml\\w?" . tuareg-mode) auto-mode-alist))
(autoload 'tuareg-mode "tuareg" "Major mode for editing Caml code" t)
(autoload 'lustre-mode "lustre" "Edition de code lustre" t)
(setq auto-mode-alist '(
("\\.org$" . org-mode)
("\\.txt$" . text-mode)
("\\.tex$" . slitex-mode)
("\\.sty$" . latex-mode)
("\\.sh$" . sh-mode)
("\\.csh$" . sh-mode)
("\\.lus$" . lustre-mode)
("\\.xec$" . lustre-mode)
("\\.saofd$" . lustre-mode)
("\\.lut$" . lutin-mode)
("\\.ima$" . ima-mode)
("\\.ec$" . lustre-mode)
("\\.java$" . java-mode)
("\\.jj$" . java-mode)
("\\.h$" . c-mode)
("\\.c$" . c-mode)
("\\.cc$" . c-mode)
("\\.cpp$" . c-mode)
("\\.rml[i]?" . tuareg-mode) ;; caml-mode)
("\\.ml[iylp]?" . tuareg-mode) ;; caml-mode)
("\\.[hg]s$" . haskell-mode)
("\\.hi$" . haskell-mode)
))
;This adds syntax highlighting to org-babel html exports.
;(require-package 'htmlize)
;(setq org-export-htmlize-output-type 'css)
; To regenerate syntax highlighting CSS (for the active theme):
;(org-export-htmlize-generate-css)
;;-----------------------------------------------------------------------
(setq inhibit-startup-message t)
(custom-set-variables
; '(custom-enabled-themes (quote (zenburn)))
'(custom-safe-themes (quote ("9f443833deb3412a34d2d2c912247349d4bd1b09e0f5eaba11a3ea7872892000" "71b172ea4aad108801421cc5251edb6c792f3adbaecfa1c52e94e3d99634dee7" "3580fb8e37ee9e0bcb60762b81260290329a97f3ca19249569d404fce422342f" default)))
)
;(require 'ox-latex)
;(add-to-list 'org-latex-classes
; '("beamer"
; "\\documentclass\[presentation\]\{beamer\}"
; ("\\section\{%s\}" . "\\section*\{%s\}")
; ("\\subsection\{%s\}" . "\\subsection*\{%s\}")
; ("\\subsubsection\{%s\}" . "\\subsubsection*\{%s\}")))
#FIG 3.2 Produced by xfig version 3.2.5b
Landscape
Center
Metric
A4
200.00
Single
-2
1200 2
6 2706 3043 3215 3246
6 2706 3043 3215 3246
2 2 0 1 0 7 21 0 20 0.000 0 0 7 0 0 5
2755 3043 3215 3043 3215 3221 2755 3221 2755 3043
2 2 0 1 0 7 21 0 20 0.000 0 0 7 0 0 5
2706 3076 3194 3076 3194 3246 2706 3246 2706 3076
4 0 0 20 0 6 6 0.0000 4 75 420 2740 3195 Oracles\001
-6
-6
6 1808 3425 2336 3542
3 5 0 1 0 7 20 0 20 0.000 0 0 0 15
1832 3499 1908 3484 1984 3537 2072 3481 2165 3499 2192 3501
2192 3542 2336 3484 2192 3425 2192 3464 2165 3465 2063 3447
1989 3495 1908 3447 1808 3469
0.000 1.000 1.000 1.000 1.000 0.000 0.000 0.000
0.000 0.000 1.000 1.000 1.000 1.000 0.000
-6
6 2008 3106 2537 3223
3 5 0 1 0 7 20 0 20 0.000 0 0 0 15
2033 3181 2109 3165 2184 3218 2272 3163 2366 3181 2392 3183
2392 3223 2537 3165 2392 3106 2392 3145 2366 3146 2263 3128
2190 3176 2109 3128 2008 3150
0.000 1.000 1.000 1.000 1.000 0.000 0.000 0.000
0.000 0.000 1.000 1.000 1.000 1.000 0.000
-6
6 752 2707 1660 3996
2 1 0 1 0 7 21 -1 20 0.000 0 0 -1 0 0 6
757 2711 1536 2711 1660 2954 1660 3996 752 3996 752 2707
2 1 0 1 0 7 20 -1 -1 0.000 0 0 -1 0 0 3
1536 2722 1536 2957 1659 2957
-6
6 2193 2769 2378 3025
2 1 0 1 26 7 21 -1 20 0.000 0 0 -1 0 0 6
2193 2771 2339 2771 2378 2817 2378 3025 2193 3025 2193 2769
2 1 0 1 26 7 20 -1 -1 0.000 0 0 -1 0 0 3
2334 2773 2334 2820 2374 2820
-6
6 2388 3712 3277 3914
2 2 0 1 0 7 20 0 20 4.000 0 0 7 0 0 5
2388 3744 3206 3744 3206 3914 2388 3914 2388 3744
2 2 0 1 0 7 22 0 20 4.000 0 0 7 0 0 5
2430 3712 3242 3712 3242 3888 2430 3888 2430 3712
4 0 0 20 0 6 6 0.0000 4 75 825 2419 3864 Environnements\001
-6
6 1808 3756 2336 3873
3 5 0 1 0 7 20 0 20 0.000 0 0 0 15
1832 3831 1908 3815 1984 3868 2072 3813 2165 3831 2192 3832
2192 3873 2336 3815 2192 3756 2192 3795 2165 3796 2063 3778
1989 3826 1908 3778 1808 3800
0.000 1.000 1.000 1.000 1.000 0.000 0.000 0.000
0.000 0.000 1.000 1.000 1.000 1.000 0.000
-6
1 2 0 1 0 7 30 -1 20 0.000 1 0.0000 3976 3353 220 114 3756 3353 4196 3353
1 2 0 1 26 7 20 -1 20 0.000 1 0.0000 3009 2848 220 114 2790 2848 3229 2848
2 1 0 1 0 7 60 -1 -1 0.000 0 0 -1 0 0 3
3127 1579 3068 1690 3371 1661
2 1 0 1 0 7 90 -1 -1 0.000 0 0 -1 0 0 2
3090 1278 3929 1278
2 1 0 1 0 7 80 -1 -1 0.000 0 0 -1 0 0 2
3398 1124 3904 1124
2 5 0 1 0 -1 40 -1 20 0.000 0 0 -1 0 0 5
0 detective.gif
3823 2247 4077 2247 4077 2528 3823 2528 3823 2247
2 1 0 2 0 7 50 -1 -1 0.000 0 0 -1 1 0 3
1 1 2.10 68.08 122.54
3771 2362 2015 2362 2015 2648
2 1 0 2 0 7 60 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 68.08 122.54
3974 2204 3974 1959 1197 1959 1197 2694
2 1 0 2 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
2586 2362 2586 2648
2 1 0 2 0 7 40 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
3975 3220 3975 2607
2 1 0 2 0 7 30 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
3281 3465 3730 3383
2 2 0 1 0 7 20 0 20 4.000 0 0 7 0 0 5
2388 3409 3206 3409 3206 3579 2388 3579 2388 3409
2 1 0 2 0 7 100 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
4215 3342 4589 3342
2 4 0 1 0 7 100 -1 -1 0.000 0 0 6 0 0 5
5057 3506 4605 3506 4605 3180 5057 3180 5057 3506
2 1 0 2 0 7 120 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
5084 3342 5487 3342
2 5 0 1 0 -1 120 -1 20 0.000 0 0 -1 0 0 5
0 smile.gif
5507 3200 5788 3200 5788 3506 5507 3506 5507 3200
2 1 0 2 0 7 30 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
3263 2882 3753 3282
2 1 0 2 0 7 30 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
3277 3238 3727 3320
2 1 0 2 0 7 30 -1 -1 0.000 0 0 -1 1 0 2
1 1 2.10 68.08 122.54
3281 3792 3736 3431
2 2 0 1 0 7 22 0 20 4.000 0 0 7 0 0 5
2430 3377 3242 3377 3242 3553 2430 3553 2430 3377
2 2 0 0 0 7 0 -1 -1 0.000 0 0 -1 0 0 5
630 810 5940 810 5940 4590 630 4590 630 810
2 1 0 2 0 7 110 -1 -1 0.000 0 0 -1 1 0 4
1 1 2.10 68.08 122.54
4815 3510 4815 4275 2954 4282 2954 3914
3 2 0 1 0 7 60 -1 -1 0.000 0 0 0 5
3127 1579 3024 1023 4555 951 4777 1579 3371 1661
0.000 -1.000 -1.000 -1.000 0.000
3 5 0 1 26 7 20 0 20 0.000 0 0 0 15
2415 2871 2465 2855 2515 2909 2573 2852 2635 2871 2652 2873
2652 2915 2747 2855 2652 2794 2652 2834 2635 2835 2566 2817
2518 2866 2465 2817 2399 2839
0.000 1.000 1.000 1.000 1.000 0.000 0.000 0.000
0.000 0.000 1.000 1.000 1.000 1.000 0.000
3 5 0 1 26 7 20 0 20 0.000 0 0 0 15
1838 2877 1888 2860 1937 2915 1996 2858 2057 2877 2075 2879
2075 2920 2170 2860 2075 2800 2075 2840 2057 2840 1989 2822
1941 2871 1888 2822 1821 2844
0.000 1.000 1.000 1.000 1.000 0.000 0.000 0.000
0.000 0.000 1.000 1.000 1.000 1.000 0.000
4 0 0 60 -1 12 6 0.0000 4 60 420 3422 1156 T < 100\001
4 0 0 80 -1 12 6 0.0000 4 60 840 3094 1309 valid => T<100\001
4 0 0 90 -1 12 6 0.0000 4 60 1560 3073 1462 valid and nominal => T<100\001
4 0 26 20 -1 6 6 0.0000 4 75 180 2919 2887 SUT\001
4 0 0 20 0 2 6 0.0000 0 90 630 837 2884 Specifications\001
4 0 0 50 -1 6 6 0.0000 4 105 210 2760 2271 bug\001
4 0 0 20 -1 6 6 0.0000 4 75 540 1770 4078 extraction\001
4 0 0 20 -1 6 6 0.0000 4 90 1365 1279 4241 (formalisation/translation)\001
4 0 0 30 -1 6 6 0.0000 4 75 345 3812 3383 Lurette\001
4 0 0 100 -1 6 6 0.0000 4 75 135 4268 3506 ok\001
4 0 0 40 -1 6 6 0.0000 4 90 465 4040 3056 problem\001
4 0 0 100 -1 6 6 0.0000 4 75 270 4718 3302 100%\001
4 0 0 60 -1 6 6 0.0000 4 105 1335 1770 1828 Wrong or imprecise spec\001
4 0 0 20 0 6 6 0.0000 4 105 555 2607 3533 Coverage\001
4 0 0 120 -1 6 6 0.0000 4 75 135 5146 3506 ok\001
4 0 0 110 -1 6 6 0.0000 4 75 135 4858 3839 ko\001
4 0 26 20 -1 6 6 0.0000 4 105 1260 1623 2753 design coding\001
4 0 0 100 -1 6 6 0.0000 4 75 270 4709 3424 cov?\001
4 0 0 110 -1 6 6 0.0000 4 90 1155 3322 4445 refinement (scenario)\001
\documentclass{article}
\usepackage[final]{pdfpages}
\begin{document}
%%% Inverser les 2 lignes suivantes pour que, quand on clique sur
%%% une page de la grille, on file vers la version animée
\includepdf[pages={2-},nup=2x2,landscape,frame,delta=1 1,linktodoc]{lutin-tuto-handout.pdf}
%\includepdf[pages={2-},nup=9x10,landscape,frame,delta=1 1,linktodoc]{lutin-tuto.pdf}
%%% si j'inclus le bip_anim, utiliser plutot ca :
%\includepdf[pages={2-},nup=6x6,landscape,frame,delta=1 1,linktodoc]{lutin-tuto-handout.pdf}
%\includepdf[pages={2-},nup=9x9,landscape,frame,delta=1 1,linktodoc]{lutin-tuto.pdf}
%\includepdf[pages={2-},nup=3x3,landscape,frame,delta=1 1,linktodoc]{lutin-tuto-handout.pdf}
\includepdf[pages={2-},nup=1x1,landscape,link]{lutin-tuto-handout.pdf}
\includepdf[pages={2-},nup=1x1,landscape,link]{lutin-tuto-pdf.pdf}
\end{document}
#+OPTIONS:toc:2
#+TODO: todo cont | done
#+OPTIONS: \n:nil @:t ::t |:t ^:t -:t f:t *:t <:t
#+LINK_HOME:http://orgmode.org/worg/org-tutorials/org-beamer/tutorial.html
#+LINK_HOME:http://www-verimag.imag.fr/Lutin.html
#+LINK_UP:http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lurette/doc/lutin-tuto/lutin-tuto-html.html
#+LANGUAGE: en
# INFOJS_OPT: view:nil toc:t ltoc:t mouse:underline buttons:t path:http://orgmode.org/org-info.js
#+INFOJS_OPT: buttons:t view:info toc: path:http://orgmode.org/org-info.js
#+style: <style type="text/css">pre{background-color: #232323; color: #E6E1DC;}</style>
#+STYLE: <link rel="stylesheet" type="text/css" href="slides.css" />
#+MACRO: run #+begin_src sh \\n<prompt> $2 \n#+end_src
#+MACRO: nprun $2
#+MACRO: pause
#+MACRO: begin_html
#+MACRO: end_html
#+MACRO: onlyhtml $1
#+MACRO: htmlonly $1
#+MACRO: onlypdf
#+MACRO: pdfonly
#+MACRO: pdfhtml $2
#+AUTHOR: Erwan Jahier
#+TITLE: A Lutin Tutorial
This diff is collapsed.
%---------------------------------------------------------------
%
% CONFIG BEAMER => partie qui concerne le style/les couleurs
%
%---------------------------------------------------------------
\setbeamercolor{frametitle}{fg=DarkBlue} % ok
\setbeamercolor{title}{fg=DarkBlue} % ok
\setbeamercolor{part title}{fg=DarkBlue} % ok
\setbeamercolor{normal text}{fg=DarkBlue} % hum ...
\setbeamercolor{math text}{fg=DarkGreen} % ok
\setbeamercolor{alerted text}{fg=DarkGreen}
\setbeamercolor{section in toc}{fg=DarkBlue} % ok
\setbeamercolor{example text}{fg=blue}
\definecolor{fondtitre}{rgb}{0.20,0.43,0.09} % vert fonce
\definecolor{coultitre}{rgb}{0.41,0.05,0.05} % marron
\setbeamercolor{structure}{fg=coultitre, bg=fondtitre!40}
%\definecolor{fondtexte}{rgb}{1,1.0,0.0}
\definecolor{fondtexte}{rgb}{1,0.05,0.86}
\colorlet{coultexte}{DarkBlue}
\setbeamercolor{normal text}{fg=coultexte,bg=LightGoldenrod1}
\setbeamertemplate{background canvas}[vertical shading][top=white,midpoint=.2,bottom=white] % ok
\setbeamertemplate{background canvas}[default]
\setbeamertemplate{itemize item}[circle] % if you want a ball
\setbeamertemplate{itemize subitem}[triangle] % if you wnat a circle
\setbeamertemplate{itemize subsubitem}[ball] % if you want a triangle
\setbeamertemplate{enumerate items}[default]
%\usecolortheme{albatross}
%\usecolortheme{beetle}
%\usecolortheme{crane}
%\usecolortheme{default}
%\usecolortheme{dolphin}
%\usecolortheme{dove}
%\usecolortheme{fly}
%\usecolortheme{lily}
%\usecolortheme{orchid}
%\usecolortheme{rose}
%\usecolortheme{seagull}
%\usecolortheme{seahorse}
%\usecolortheme{sidebartab}
%\usecolortheme{structure}
%\usecolortheme{whale}
%% NEUTRALISER LA GESTION FONTES/COULEURS DE XFIG ?
\gdef\SetFigFont#1#2#3#4#5#6{#6}
%% 8 BITS/FRANCAIS ?
%\usepackage[utf8]{inputenc} % 8 bits
\usepackage[francais]{babel} % francais
\gdef\partname{Partie} % pb de francais ???
%\usepackage{thumbpdf}
%% DIVERS ...
\usepackage{mathptmx}
\usepackage{helvet}
\usepackage{version}
%% CONFIG BEAMER PERSO
\input{beamer-splitfig-config}
%% Suffisent ?
\setcounter{tocdepth}{2}
%% couleurs
%\input{beamer-bleu-sur-jaune}
\input{lbeamer-color}
%======================== Commandes spécifiques =========================
%\input{commandes}
\newcommand{\blue}[1]{{\color{DarkBlue}#1}}
\newcommand{\red}[1]{{\color{red}#1}}
\newcommand{\green}[1]{{\color{DarkGreen}#1}}
\newcommand{\purple}[1]{{\color{purple2}#1}}
\newcommand{\decal}{$\hspace*{1cm}$}
\newcommand{\transTT}[1]{\raisebox{6pt}{$\underrightarrow{~~\mbox{\tt #1}~~}$}}
\newcommand{\transMTH}[1]{\raisebox{6pt}{$\underrightarrow{~~\mbox{$#1$}~~}$}}
\newcommand{\hide}[1]{}
\newcommand{\NN}{\mbox{$\mathrm{I}\!\mathrm{N}$}}
\newcommand{\MagentaIII}[1]{{\color{magenta3} #1}}
\newcommand{\GreenIV}[1]{{\color{green4} #1}}
\newcommand{\RedII}[1]{{\color{red2} #1}}
\newcommand{\BlueII}[1]{{\color{blue2} #1}}
\newcommand{\COMM}[1]{\mbox{\blue{// #1}}}
\newcommand{\kw}[1]{\MagentaIII{\tt #1}}
\newcommand{\ty}[1]{\GreenIV{\tt #1}}
\newcommand{\lop}[1]{\BlueII{\tt #1}}
\newcommand{\prog}[1]{\mbox{\tt #1}}
\newcommand{\TR}{\mbox{$\cal T$}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{mylistings}
\renewcommand{\textbf}[1]{{\alert{#1}}}
% Bullet shape.
\DeclareOptionBeamer{bullet}{\def\beamer@fancy@bullet{#1}}
This diff is collapsed.
/home/jahier/el_files/ob-lutin.el
\ No newline at end of file
/home/jahier/el_files/ob-rif.el
\ No newline at end of file
# Time-stamp: <modified the 02/09/2015 (at 16:28) by Erwan Jahier>
#+OPTIONS: LaTeX:t
#+TODO: todo cont | done
#+OPTIONS: H:2 num:t toc:t \n:nil ::t |:t ^:t -:t f:t *:t skip:t tags:not-in-toc
#+LINK_UP: http://orgmode.org/worg/org-tutorials/org-beamer/tutorial.html
#+LINK_HOME:http://www-verimag.imag.fr/Lutin.html
#+STYLE: <link rel="stylesheet" type="text/css" href="slides.css" />
# ## http://orgmode.org/worg/org-tutorials/org-beamer/tutorial.html
#+startup: beamer
#+LaTeX_CLASS: beamer
#+LaTeX_CLASS_OPTIONS: [nowasysym]
#+LaTeX_CLASS_OPTIONS: [nomarvosym]
#+BEAMER_FRAME_LEVEL: 2
#+BEAMER_HEADER_EXTRA: \usefonttheme{structurebold}
#+LANGUAGE: en
#+COLUMNS: %40ITEM %10BEAMER_env(Env) %9BEAMER_envargs(Env Args) %4BEAMER_col(Col) %10BEAMER_extra(Extra)
#+LATEX_HEADER: \usepackage{color}
#+LATEX_HEADER: \usepackage{xcolor}
#+LATEX_HEADER: \usepackage{listings}
#+LATEX_HEADER: \input{lmybeamer}
#+LATEX_HEADER: \AtBeginSection[]{}
#+LATEX_HEADER: \hypersetup{pdfcreator=Erwan Jahier,pdfnewwindow=true}
#+OPTIONS: LaTeX:dvipng