# HG changeset patch
# User wenzelm
# Date 1719832285 -7200
# Node ID 8506bfd25efb4629355d87bfa5e9ac68680baadf
# Parent  7fe5aa0ca3c42dcace8899db62a181f1febbbed4
more significant HOL/Examples;

diff -r 7fe5aa0ca3c4 -r 8506bfd25efb etc/settings
--- a/etc/settings	Mon Jul 01 13:09:03 2024 +0200
+++ b/etc/settings	Mon Jul 01 13:11:25 2024 +0200
@@ -123,7 +123,7 @@
 ISABELLE_DOCS="$ISABELLE_HOME/doc"
 
 ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY"
-ISABELLE_DOCS_EXAMPLES="~~/src/HOL/Examples/Seq.thy:~~/src/HOL/Examples/Drinker.thy:~~/src/HOL/Examples/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML"
+ISABELLE_DOCS_EXAMPLES="~~/src/HOL/Examples/Seq.thy:~~/src/HOL/Examples/Drinker.thy:~~/src/HOL/Examples/Ackermann.thy:~~/src/HOL/Examples/ML.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML"
 
 # "open" within desktop environment (potentially asynchronous)
 case "$ISABELLE_PLATFORM_FAMILY" in