X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=6db0d8632e089e810e5735c09b00ee068a1391cc;hp=d1862475688e1df1ad39876cd70b7c874862a805;hb=9314a7202be9b207a4f8cfe4e1524a85d4bbd2dd;hpb=1b9665a243799137f9b3f2b04e13489ba6f66e5e diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex index d186247..6db0d86 100644 --- a/Chapters/Prototype.tex +++ b/Chapters/Prototype.tex @@ -939,3 +939,5 @@ checking usage constraints on state variables. \todo{Implementation issues: Separate compilation, simplified core.} + +% vim: set sw=2 sts=2 expandtab: