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 = 400;
authorwenzelm
Fri, 25 Jun 1999 13:37:51 +0200
changeset 6844 3909657a7da6
parent 6843 eeeddde75f3f
child 6845 598d2f32d452
branching_level = 400;
src/Pure/Syntax/parser.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/parser.ML	Wed Jun 23 10:40:13 1999 +0200
+++ b/src/Pure/Syntax/parser.ML	Fri Jun 25 13:37:51 1999 +0200
@@ -692,7 +692,7 @@
 
 
 val warned = ref false;                            (*flag for warning message*)
-val branching_level = ref 250;                   (*trigger value for warnings*)
+val branching_level = ref 400;                   (*trigger value for warnings*)
 
 (*get all productions of a NT and NTs chained to it which can
   be started by specified token*)
isabelle