Skip to content
Snippets Groups Projects
Select Git revision
  • 5-running-example-3-2l-4
  • arxiv-paper
  • clean-up-git-processes
  • main default protected
  • notebook-refactor
  • paper
  • sage-symb-latex
  • test
  • thesis
  • year-3-report
  • v1
  • examined
12 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.011Sep3230Aug14131211109818Jul9875432128Jun272620171110May16Apr865126Feb22211918831Jan3029108512Nov16Oct16Sep151413758Aug7131Jul28272625242321201918141330Jun29222116151312119131May30292615141312111092128Apr2726191714121110Remove jobnameAdd missing newcommandsAdd necessary definitions for stability conditionsUpdate characteristic curves section with newer content from thesisRefine gitignoreSwitch to 'clever' refsDowngrade all sections down one levelCI fix attempt 2CI fix attemptAdjust CI to new dir structureReorganise filesStart rethinking introFix build by compromising on aux file locationMinimal build fix 1Annotate examplesexamined mainexamined mainAdd ref to Bogomolov ineqImprove notation around choice of P in problemsize -> iseCorrect label to refCapitalisationCapitalisationsCapitalisationsAdd urls to some bibsTweak wording to reduce text overflow into margin.Tweak how to refer to appendixRemove footnote in theoremFix buildImplement Jun28 feedback (minus big lemma)Implement Jul08 feedback (non-continued)Implement Jul08 feedbackFix build errorComplete missing minor proofsUpdate tilt.rs submodComplete one outstanding TODOrevert last commit action on bibliographyMinor tweaks on capitalisationsMinor tweak, and reference tilt.rs docsComplete adding listing for chapter 5Break lines in tilt.rs to keep them under 85 chars wideAdd a snippet for reducing problem to fixed q, beta, and r