# HG changeset patch # User Christian Urban # Date 1604707648 0 # Node ID 9eea6a801e10a5323362a7b7fc05d2bcd3b1fc6b # Parent 85267be9a5ed85115f38508efdd3db9d324bb500 updated diff -r 85267be9a5ed -r 9eea6a801e10 progs/lexer/lex.sc --- 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) diff -r 85267be9a5ed -r 9eea6a801e10 progs/lexer/lexer.sc --- 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) diff -r 85267be9a5ed -r 9eea6a801e10 slides.sty --- 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}