# HG changeset patch
# User wenzelm
# Date 1538305208 -7200
# Node ID b28ad89d8a50f7282f33a1a9b38cfbca49b0f727
# Parent  854bd35cad491b20c0d13e72dd11cefc3c886235
de-emphasize HOL-SPARK: somewhat outdated;

diff -r 854bd35cad49 -r b28ad89d8a50 src/HOL/ROOT
--- a/src/HOL/ROOT	Sun Sep 30 12:54:42 2018 +0200
+++ b/src/HOL/ROOT	Sun Sep 30 13:00:08 2018 +0200
@@ -852,7 +852,7 @@
     SMT_Word_Examples
     SMT_Tests
 
-session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
+session "HOL-SPARK" in "SPARK" = "HOL-Word" +
   theories
     SPARK