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/token.ML
changeset 63936 b87784e19a77
parent 63640 c273583f0203
child 64421 681fae6b00b5
equal deleted inserted replaced
63935:aa1fe1103ab8 63936:b87784e19a77 
   648 
   648 
   649 
   649 
   650 (* explode *)
 
   650 (* explode *)
 
   651 
   651 
   652 fun explode keywords pos =
 
   652 fun explode keywords pos =
 
   653   Source.of_string #>
 
   653   Symbol.explode #>
 
   654   Symbol.source #>
 
   654   Source.of_list #>
 
   655   source keywords pos #>
 
   655   source keywords pos #>
 
   656   Source.exhaust;
 
   656   Source.exhaust;
 
   657 
   657 
   658 
   658 
   659 (* print name in parsable form *)
 
   659 (* print name in parsable form *)
isabelle