Mercurial Mercurial > repos > isabelle / comparison
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/Isar/isar_syn.ML
changeset 15712 99bd15fd58de
parent 15703 727ef1b8b3ee
child 15748 e26fdd4aa95a
equal deleted inserted replaced
15711:1218cde8da17 15712:99bd15fd58de 
   832 
   832 
   833 (*install the Pure outer syntax*)
 
   833 (*install the Pure outer syntax*)
 
   834 OuterSyntax.add_keywords IsarSyn.keywords;
 
   834 OuterSyntax.add_keywords IsarSyn.keywords;
 
   835 OuterSyntax.add_parsers IsarSyn.parsers;
 
   835 OuterSyntax.add_parsers IsarSyn.parsers;
 
   836 IsarOutput.add_hidden_commands IsarSyn.hidden_commands;
 
   836 IsarOutput.add_hidden_commands IsarSyn.hidden_commands;
 
       
   837
isabelle