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 15979 c81578ac2d31
parent 15964 f2074e12d1d4
child 16027 77c1171090d9
equal deleted inserted replaced
15978:f044579b147c 15979:c81578ac2d31 
   856 
   856 
   857 (*install the Pure outer syntax*)
 
   857 (*install the Pure outer syntax*)
 
   858 OuterSyntax.add_keywords IsarSyn.keywords;
 
   858 OuterSyntax.add_keywords IsarSyn.keywords;
 
   859 OuterSyntax.add_parsers IsarSyn.parsers;
 
   859 OuterSyntax.add_parsers IsarSyn.parsers;
 
   860 IsarOutput.add_hidden_commands IsarSyn.hidden_commands;
 
   860 IsarOutput.add_hidden_commands IsarSyn.hidden_commands;
 
   861
isabelle