unconditional test -- nothing special here;

--- a/src/HOL/ROOT	Fri Feb 12 22:36:48 2016 +0100
+++ b/src/HOL/ROOT	Sat Feb 13 11:50:01 2016 +0100
@@ -614,10 +614,9 @@
     Ballot
     Erdoes_Szekeres
     Sum_of_Powers
+    Sudoku
   theories [skip_proofs = false]
     Meson_Test
-  theories [condition = ISABELLE_FULL_TEST]
-    Sudoku
   document_files "root.bib" "root.tex"
 
 session "HOL-Isar_Examples" in Isar_Examples = HOL +
@@ -851,7 +850,6 @@
     Boogie
     SMT_Examples
     SMT_Word_Examples
-  theories [condition = ISABELLE_FULL_TEST]
     SMT_Tests
   files
     "Boogie_Dijkstra.certs"