--- a/src/Pure/System/session.ML Mon Sep 10 09:57:21 2012 +0200
+++ b/src/Pure/System/session.ML Mon Sep 10 12:00:28 2012 +0200
@@ -121,7 +121,9 @@
name dump rpath level timing verbose max_threads trace_threads
parallel_proofs parallel_proofs_threshold =
((fn () =>
- (init build reset info info_path doc doc_graph "" (read_variants doc_variants) parent name
+ (Output.physical_stderr
+ "### Legacy feature: old \"isabelle usedir\" -- use \"isabelle build\" instead!\n";
+ init build reset info info_path doc doc_graph "" (read_variants doc_variants) parent name
(doc_dump dump) rpath verbose;
with_timing item timing use root;
finish ()))