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