# HG changeset patch
# User wenzelm
# Date 1667232837 -3600
# Node ID 95a71ee0fffdcb455803d5ec1cee209b5b5cecb8
# Parent  389d77e6be9fec3a8b939a1f571d691c70be7933
tuned whitespace for "isabelle doc" display;

diff -r 389d77e6be9f -r 95a71ee0fffd doc/Contents
--- a/doc/Contents	Mon Oct 31 17:10:13 2022 +0100
+++ b/doc/Contents	Mon Oct 31 17:13:57 2022 +0100
@@ -27,3 +27,4 @@
   intro           Old Introduction to Isabelle
   logics          Isabelle's Logics: HOL and misc logics
   logics-ZF       Isabelle's Logics: FOL and ZF
+