diff -r 146b4817aebd -r 9deaff82e0c5 thys/ROOT --- a/thys/ROOT Thu Jun 29 17:57:41 2017 +0100 +++ b/thys/ROOT Fri Jun 30 17:41:45 2017 +0100 @@ -5,6 +5,7 @@ "Simplifying" (*"Sulzmann"*) "Positions" + "Fun" session Paper in "Paper" = Lex + options [document = pdf, document_output = "..", document_variants="paper"]