# HG changeset patch
# User wenzelm
# Date 1346101719 -7200
# Node ID 29562708e05c858cc55a91ef083e2c0465de1503
# Parent  b9238cbcdd41608385d201c4da8aa44b5de89cba
deactivate updated doc-src sessions, to make Admin/build doc and makedist work for now;

diff -r b9238cbcdd41 -r 29562708e05c doc-src/Dirs
--- a/doc-src/Dirs	Mon Aug 27 23:00:38 2012 +0200
+++ b/doc-src/Dirs	Mon Aug 27 23:08:39 2012 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive TutorialI IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main Sledgehammer ProgProve
+Inductive TutorialI IsarRef Nitpick Sledgehammer