# HG changeset patch # User wenzelm # Date 1126977453 -7200 # Node ID e4cdb9f061fbe23176823011f94dc939caf770df # Parent e62a16c5ad823783d3951a8113fe6b6b83f17dbc added quick_and_dirty (from Isar/skip_proofs.ML); diff -r e62a16c5ad82 -r e4cdb9f061fb src/Pure/ROOT.ML --- a/src/Pure/ROOT.ML Sat Sep 17 19:12:58 2005 +0200 +++ b/src/Pure/ROOT.ML Sat Sep 17 19:17:33 2005 +0200 @@ -7,6 +7,8 @@ val banner = "Pure Isabelle"; val version = "Isabelle repository version"; (*filled in automatically!*) +(*if true then some tools will OMIT some proofs*) +val quick_and_dirty = ref false; print_depth 10;