2018-05-20 Laurent GeorgetMake the final thesis document master
2017-09-29 Laurent Georgettfix in abstract
2017-09-29 Laurent GeorgetApply fixes by Sarah
2017-09-26 Laurent Georgettfix
2017-09-25 Laurent GeorgetFix most overfulls
2017-09-22 Laurent GeorgetAdd package microtype
2017-09-19 Laurent GeorgetFix an awful 43pt hbox overfull
2017-09-18 Laurent GeorgetFix some overfull
2017-09-18 Laurent GeorgetAdd the dedication and abstract
2017-09-18 Laurent Georgettfix
2017-09-15 Laurent GeorgetOk, now I'm done with the cover
2017-09-12 Laurent GeorgetFix the SEFM paper bibtex entry so that it appears...
2017-09-12 Laurent GeorgetAdd the information about the Best Paper
2017-09-12 Laurent GeorgetFix cover with inkscape
2017-09-12 Laurent GeorgetFix spacing and Guillaume's affectation
2017-09-10 Laurent GeorgetMake SEFM BiBTeX entry more complete
2017-09-06 Laurent GeorgetAdd an abstract
2017-09-05 Laurent GeorgetFix the cover
2017-09-05 Laurent GeorgetAdd a precision on n_paths
2017-08-31 Laurent Georgettfix
2017-08-30 Laurent GeorgetAdd the abstract submitted to BU Rennes 1
2017-08-24 Laurent Georgettfix
2017-08-22 Laurent GeorgetFix the numbering and the backlinks from the glossary
2017-08-22 Laurent Georgettfix
2017-07-12 Laurent GeorgetTake into account remarks from the Comité des thèses
2017-07-07 Laurent GeorgetAdd an explanation about null pointers
2017-07-06 Laurent GeorgetApply fixes from Jean Goubault
2017-06-30 Laurent GeorgetFix the footnote numbering
2017-06-28 Laurent GeorgetCompile with light appendices
2017-06-28 Laurent GeorgetFix Zennou's institution
2017-06-28 Laurent GeorgetMake a light-appendix version
2017-06-28 Laurent GeorgetApply Fred's fixes in the last chapters
2017-06-28 Laurent GeorgetPrepare the cover
2017-06-28 Laurent GeorgetEnsure the glossary footnote mark is always an asterisk
2017-06-27 Laurent GeorgetMake the glossary smart
2017-06-27 Laurent GeorgetMake a small newline adjustement
2017-06-27 Laurent GeorgetFix the proofs URLs
2017-06-27 Laurent GeorgetComment the chapter 5 proofs
2017-06-27 Laurent GeorgetInclude Coq proofs in chapter 5
2017-06-26 Laurent GeorgetApply Fred's fixes in chapter 5
2017-06-23 Laurent GeorgetApply more fixes from Fred
2017-06-23 Laurent GeorgetAdd a note about Coq in placement_crochets.tex
2017-06-23 Laurent GeorgetInclude Fred's fixes
2017-06-21 Laurent GeorgetMinor fixes in intro (by Fred)
2017-06-21 Laurent GeorgetAdd an element to the semantics def
2017-06-21 Laurent GeorgetFix an explanation in the abstract semantics
2017-06-16 Laurent GeorgetCompile with -file-line-errors
2017-06-16 Laurent GeorgetFix mistakes in titles
2017-06-15 Laurent GeorgetAdd more and more fixes
2017-06-12 Laurent GeorgetFix mistakes in introduction and chapter 1
2017-06-10 Laurent GeorgetAdd fixes by Valérie
2017-06-09 Laurent GeorgetMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-06-09 Laurent GeorgetFix some refs for KBlare
2017-06-09 Laurent GeorgetHarmonize the bibliographic refs
2017-06-09 Laurent GeorgetHarmonize the bibliographic refs
2017-06-08 Laurent GeorgetCorrect a few mistakes
2017-06-08 Laurent GeorgetRemove URLs in bibliography
2017-06-08 Laurent GeorgetAdd a graph for the measurements
2017-06-08 Laurent GeorgetAnswer the question asked in the introduction
2017-06-08 Laurent GeorgetAdd a comma
2017-06-06 Laurent GeorgetAdd a citation
2017-06-05 Laurent GeorgetRationalize line-breaking in Coq scripts
2017-06-05 Laurent GeorgetInterleave Coq defs
2017-06-05 Laurent GeorgetFix compilation problem - bad symbol
2017-06-02 Laurent GeorgetApply fixes by Mathieu on conclusion
2017-06-02 Laurent GeorgetApply fixes by Mathieu on chapter 6
2017-06-02 Laurent GeorgetApply fixes by Mathieu on chapter 5
2017-06-01 Laurent GeorgetFix proofsketch environment
2017-06-01 Laurent GeorgetAdd a conclusion to chapter 6
2017-05-31 Laurent GeorgetStart fixing the syntactic coloring
2017-05-31 Laurent GeorgetAdd an introduction to chapter 4
2017-05-29 Laurent GeorgetApply corrections by Guillaume on chapter 4
2017-05-26 Laurent GeorgetApply fixes by Guillaume on chapter 3
2017-05-22 Laurent GeorgetMake corrections and add a reference
2017-05-21 Laurent GeorgetFix more mistakes
2017-05-20 Laurent GeorgetFix the tables
2017-05-18 Laurent GeorgetMAke multiple fixes
2017-05-17 Laurent GeorgetAdd some missing refs
2017-05-16 Laurent GeorgetAdd transitions
2017-05-14 Laurent GeorgetApply first corrections from Guillaume -- should add...
2017-05-12 Laurent GeorgetAdd doc for two hooks
2017-05-12 Laurent GeorgetRemove man pages markers
2017-05-12 Laurent GeorgetAdd some explanations on Weir log
2017-05-11 Laurent GeorgetFix wordings + some mistakes
2017-05-11 Laurent GeorgetFinish correcting chapter 5 (except proofs)
2017-05-11 Laurent GeorgetContinue fixing mistakes
2017-05-11 Laurent GeorgetMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-05-11 Laurent GeorgetFix more mistakes
2017-05-11 Frédéric TronelLe fichier thesis.pdf était indexé.
2017-05-10 Laurent GeorgetFix more mistakes
2017-05-10 Laurent GeorgetI should stop using regexp to translate...
2017-05-10 Laurent GeorgetFix missing lines in conclusion
2017-05-09 Laurent GeorgetFix a lot of mistakes
2017-05-09 Laurent GeorgetCommit second release candidate draft
2017-05-09 Laurent GeorgetAdd a word about splice
2017-05-08 Laurent GeorgetCommit first release candidate draft
2017-05-08 Laurent GeorgetFix many overfulls and other small mistakes
2017-05-08 Laurent GeorgetRemove a extraneous bracket
2017-05-08 Laurent GeorgetFinish correcting SOTA
2017-05-08 Laurent GeorgetStart fixing stuff...