updated
authorChristian Urban <christian.urban@kcl.ac.uk>
Sat, 07 Nov 2020 00:07:28 +0000
changeset 800 9eea6a801e10
parent 799 85267be9a5ed
child 801 7aab258bf72a
updated
progs/lexer/lex.sc
progs/lexer/lexer.sc
slides.sty
--- a/progs/lexer/lex.sc	Wed Nov 04 17:34:52 2020 +0000
+++ b/progs/lexer/lex.sc	Sat Nov 07 00:07:28 2020 +0000
@@ -145,7 +145,7 @@
 }
 def RANGE(s: String) = Range(s.toList)
 
-val SYM = RANGE("ABCDEFGHIJKLMNOPQRSTUVXYZabcdefghijklmnopqrstuvwxyz_")
+val SYM = RANGE("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_")
 val DIGIT = RANGE("0123456789")
 val ID = SYM ~ (SYM | DIGIT).% 
 val NUM = PLUS(DIGIT)
--- a/progs/lexer/lexer.sc	Wed Nov 04 17:34:52 2020 +0000
+++ b/progs/lexer/lexer.sc	Sat Nov 07 00:07:28 2020 +0000
@@ -199,7 +199,7 @@
 }
 def RANGE(s: String) = Range(s.toList)
 
-val SYM = RANGE("ABCDEFGHIJKLMNOPQRSTUVXYZabcdefghijklmnopqrstuvwxyz_")
+val SYM = RANGE("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_")
 val DIGIT = RANGE("0123456789")
 val ID = SYM ~ (SYM | DIGIT).% 
 val NUM = PLUS(DIGIT)
--- a/slides.sty	Wed Nov 04 17:34:52 2020 +0000
+++ b/slides.sty	Sat Nov 07 00:07:28 2020 +0000
@@ -92,7 +92,10 @@
 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\beamertemplateballitem
+% \beamertemplateballitem
+\setbeamertemplate{itemize item}[ball]
+\setbeamertemplate{itemize subitem}[ball]
+\setbeamertemplate{itemize subsubitem}[ball]
 \setlength\leftmargini{2mm}
 \setlength\leftmarginii{0.6cm}
 \setlength\leftmarginiii{1.5cm}