src/*.cm[ixo]
src/*.o
*~
_test*
test-old/
test/ec2c
test/perf
bug
lus2lic
TAGS
*log
*.dump
*.ec
*.c
*.h
*.diff
*.swp
src/lus2lic
src/parser.ml
src/parser.mli
src/lexer.ml
src/lexer.mli
obj*
*.lic
release*
*.lus.tex
*.res
*.ps
*.exec
*.save
*.dro
*.rif
*.cov
*.gp
*.lesar
*.sum
*.annot
*gz
src/version.ml
work
fail
#*
lionel
pascal
polo
parser.tex
tmp
lv6-ref-man/objpdf/
lv6-ref-man/,poubelle/
lv6-ref-man/MANUEL_NICOLAS
lv6-ref-man/lv6-ref-man.pdf
old
,poub
src/prof
*.out
*.output
*.aux
ec.yacc.pdf
lus2lic-types.pdf
lus2lic.pdf
*.tex
ocamldoc
_*
*.native
*.byte
myocamlbuild.ml
setup.data
setup.ml
configure
linux
src/lus4ocaml.mllib
META
committed
ALIRE-pascal
Makefile.common
Makefile.local
Notes-pascal/
linux64/
lustre-v6.xml
lv6-ref-man/manuel_nicolas
lv6-ref-man/tokens
pasteur-tableau-lctes12.pdf
slides-Pascal/
src/._d/
src/._ncdi/
src/gaoDeps.ml
src/gaoDeps.mli
src/genlex.ml
src/hide/
src/mli/
test/call-via-socket
test/ecexe
test/extern_files/
test/lurettetop
test/lus2ec
test/lus2lic-test
test/lus2lic.quick_time
test/lus2lic.ref_time
test/lus2lic.tests/kcg.test
test/lus2lic.tests/xxx.exp
test/lus2lic.time
test/lutin
test/myec2ec
test/patch_ecexe
test/pollux
test/rdbg-batch
test/should_work/Makefile
test/should_work/PCOND1.sh
test/should_work/amaury.lus
test/should_work/call-via-socket
test/should_work/ck2.sh
test/should_work/ecexe
test/should_work/lurettetop
test/should_work/lutin
test/should_work/patch_ecexe
test/should_work/rdbg-batch
test/should_work/result
test/should_work/result.org
test/tmp1
test/tmp2
test/wwwwwww/
todo-R1.org
todo-R1.org_archive
utils/test_lustrequiv/
w7/
willy.org
lutils/
.merlin
LustreCoq.jpg
*.seed
rdbg-session*.ml
arduino/led_puzlle/arduino1
arduino/led_puzlle/arduino2
arduino/led_puzlle/arduino3
arduino/led_puzlle/arduino4
arduino/led_puzlle/arduino5
arduino/led_puzlle/arduino6
arduino/led_puzlle/proof1
arduino/led_puzlle/prouve2
arduino/led_puzlle/prouve3
arduino/led_puzlle/prouve4
arduino/led_puzlle/prouve5
arduino/led_puzlle/prouve6
arduino/led_puzlle/simule1
arduino/led_puzlle/simule2
arduino/led_puzlle/simule3
arduino/led_puzlle/simule4
arduino/led_puzlle/simule5
arduino/led_puzlle/simule6
arduino/led_puzlle/t1
arduino/led_puzlle/t2
arduino/led_puzlle/t3
arduino/led_puzlle/t4
arduino/led_puzlle/t5
arduino/led_puzlle/t6
arduino/led_puzlle/test1
arduino/led_puzlle/test2
arduino/led_puzlle/test3
arduino/led_puzlle/test4
arduino/led_puzlle/test5
arduino/led_puzlle/test6
arduino/led_puzzle/arduino_puzzle.lus
call-via-socket
doc/lpp.dvi
doc/lpp.toc
doc/syntax.dvi
lv6-ref-man/bib.bib
lv6-ref-man/figs/patate.pdf
lv6-ref-man/figs/patate.png
lv6-ref-man/figs/patate.svg
scade-manuel.pdf

src/TODO.org
src/mli_save/
Makefile.version
*.cmi
*.cmx
*.cmxs
*.o
*.bak