← Back to branch summary

~ohad-kammar/ohads-thesis/trunk

« back to all changes in this revision

Viewing changes to thesis-ohad.tex

  • Committer: Ohad Kammar
  • Date: 2014-03-31 16:50:10 UTC
  • Revision ID: ohad.kammar@cl.cam.ac.uk-20140331165010-dwruudhgshlnro2v
proofread the language chapter.

Show diffs side-by-side

added added

removed removed

Lines of Context:
thesis-ohad.tex
401
401
\Include{presentation-models}
402
402
\Include{predicates}
403
403
 
404
 
%% \part{Effect-dependent optimisation}
405
 
%% \partlabel{optimisations}
406
 
%% \Include{language}
 
404
\part{Effect-dependent optimisation}
 
405
\partlabel{optimisations}
 
406
\Include{language}
407
407
%% \Include{optimisations}
408
408
%% \Include{combination}
409
409
%% \Include{example}