# HG changeset patch
# User wenzelm
# Date 1344429940 -7200
# Node ID 292b97e17fb7405654d752971570976269bcfda7
# Parent  35c47932584c22c0176b0560a12a98dd02894035
discontinued obsolete "isabelle makeall";

diff -r 35c47932584c -r 292b97e17fb7 NEWS
--- a/NEWS	Fri Jul 27 20:54:01 2012 +0200
+++ b/NEWS	Wed Aug 08 14:45:40 2012 +0200
@@ -77,8 +77,10 @@
 
 * Advanced support for Isabelle sessions and build management, see
 "system" manual for the chapter of that name, especially the "isabelle
-build" tool and its examples.  Eventual INCOMPATIBILITY, as isabelle
-usedir / make / makeall are rendered obsolete.
+build" tool and its examples.  INCOMPATIBILITY, isabelle usedir /
+mkdir / make are rendered obsolete.
+
+* Discontinued obsolete "isabelle makeall".
 
 * Discontinued obsolete IsaMakefile and ROOT.ML files from the
 Isabelle distribution, except for rudimentary src/HOL/IsaMakefile that
diff -r 35c47932584c -r 292b97e17fb7 doc-src/System/Thy/Misc.thy
--- a/doc-src/System/Thy/Misc.thy	Fri Jul 27 20:54:01 2012 +0200
+++ b/doc-src/System/Thy/Misc.thy	Wed Aug 08 14:45:40 2012 +0200
@@ -222,22 +222,6 @@
 *}
 
 
-section {* Make all logics *}
-
-text {* The @{tool_def makeall} tool applies Isabelle make to any
-  Isabelle component (cf.\ \secref{sec:components}) that contains an
-  @{verbatim IsaMakefile}:
-\begin{ttbox}
-Usage: isabelle makeall [ARGS ...]
-
-  Apply isabelle make to all components with IsaMakefile (passing ARGS).
-\end{ttbox}
-
-  The arguments @{verbatim ARGS} are just passed verbatim to each
-  @{tool make} invocation.
-*}
-
-
 section {* Printing documents *}
 
 text {*
diff -r 35c47932584c -r 292b97e17fb7 doc-src/System/Thy/document/Misc.tex
--- a/doc-src/System/Thy/document/Misc.tex	Fri Jul 27 20:54:01 2012 +0200
+++ b/doc-src/System/Thy/document/Misc.tex	Wed Aug 08 14:45:40 2012 +0200
@@ -262,25 +262,6 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Make all logics%
-}
-\isamarkuptrue%
-%
-\begin{isamarkuptext}%
-The \indexdef{}{tool}{makeall}\hypertarget{tool.makeall}{\hyperlink{tool.makeall}{\mbox{\isa{\isatool{makeall}}}}} tool applies Isabelle make to any
-  Isabelle component (cf.\ \secref{sec:components}) that contains an
-  \verb|IsaMakefile|:
-\begin{ttbox}
-Usage: isabelle makeall [ARGS ...]
-
-  Apply isabelle make to all components with IsaMakefile (passing ARGS).
-\end{ttbox}
-
-  The arguments \verb|ARGS| are just passed verbatim to each
-  \hyperlink{tool.make}{\mbox{\isa{\isatool{make}}}} invocation.%
-\end{isamarkuptext}%
-\isamarkuptrue%
-%
 \isamarkupsection{Printing documents%
 }
 \isamarkuptrue%