# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1611311944 0
# Node ID 6b06aeb192ea64cf8e7a1068579be1ae4cce9cc3
# Parent  f914b9476dc77abf94e1972daa7d6f1ae1d2eb6d
updated

diff -r f914b9476dc7 -r 6b06aeb192ea XX
--- a/XX	Sat Dec 19 00:21:13 2020 +0000
+++ b/XX	Fri Jan 22 10:39:04 2021 +0000
@@ -1,1 +1,5 @@
 https://prod.liveshare.vsengsaas.visualstudio.com/join?ABC32D5DFD18682201A8C3BD332DE315B23B
+
+
+Pygments
+
diff -r f914b9476dc7 -r 6b06aeb192ea progs/fun/fun_parser.sc
--- a/progs/fun/fun_parser.sc	Sat Dec 19 00:21:13 2020 +0000
+++ b/progs/fun/fun_parser.sc	Fri Jan 22 10:39:04 2021 +0000
@@ -163,7 +163,7 @@
 def parse_tks(tks: List[Token]) : List[Decl] = 
   Prog.parse_single(tks)
 
-@doc("Parses a file.")
+//@doc("Parses a file.")
 @main
 def main(fname: String) : Unit = {
   val tks = tokenise(os.read(os.pwd / fname))
diff -r f914b9476dc7 -r 6b06aeb192ea progs/fun/fun_tokens.sc
--- a/progs/fun/fun_tokens.sc	Sat Dec 19 00:21:13 2020 +0000
+++ b/progs/fun/fun_tokens.sc	Fri Jan 22 10:39:04 2021 +0000
@@ -251,7 +251,7 @@
 
 import ammonite.ops._
 
-@doc("Tokenising a file.")
+//@doc("Tokenising a file.")
 @main
 def main(fname: String) = {
   println(tokenise(os.read(os.pwd / fname)))
diff -r f914b9476dc7 -r 6b06aeb192ea slides/slides09.pdf
Binary file slides/slides09.pdf has changed
diff -r f914b9476dc7 -r 6b06aeb192ea slides/slides09.tex
--- a/slides/slides09.tex	Sat Dec 19 00:21:13 2020 +0000
+++ b/slides/slides09.tex	Fri Jan 22 10:39:04 2021 +0000
@@ -826,7 +826,8 @@
 \end{frame}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%     
 
-
+\begin{frame}<1-20>[c]
+\end{frame}
 
 \end{document}