Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/parser.ML
changeset 13057 805de10ca485
parent 12785 27debaf2112d
child 14600 ba51bc239716 
--- a/src/Pure/Syntax/parser.ML	Tue Mar 12 19:20:23 2002 +0100
+++ b/src/Pure/Syntax/parser.ML	Thu Mar 14 16:00:29 2002 +0100
@@ -693,7 +693,7 @@
 
 
 val warned = ref false;                            (*flag for warning message*)
-val branching_level = ref 400;                   (*trigger value for warnings*)
+val branching_level = ref 600;                   (*trigger value for warnings*)
 
 (*get all productions of a NT and NTs chained to it which can
   be started by specified token*)
isabelle