Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
branching_level = 250;
authorwenzelm
Tue, 12 May 1998 18:06:27 +0200
changeset 4913 44c6f462c8fa
parent 4912 9ac1c22dfe43
child 4914 119d5f5767a4
branching_level = 250;
src/Pure/Syntax/parser.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/parser.ML	Tue May 12 18:06:01 1998 +0200
+++ b/src/Pure/Syntax/parser.ML	Tue May 12 18:06:27 1998 +0200
@@ -692,7 +692,7 @@
 
 
 val warned = ref false;                            (*flag for warning message*)
-val branching_level = ref 200;                   (*trigger value for warnings*)
+val branching_level = ref 250;                   (*trigger value for warnings*)
 
 (*get all productions of a NT and NTs chained to it which can
   be started by specified token*)
isabelle