ROOTS

treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;

+
−src/Pure
+
−src/FOL
+
−src/HOL
+
−src/ZF
+
−src/CCL
+
−src/CTT
+
−src/Cube
+
−src/FOLP
+
−src/LCF
+
−src/Sequents
+
−src/Doc
+
−src/Tools
+
−