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/lexicon.ML
changeset 50242 56b9c792a98b
parent 50239 fb579401dc26
child 51612 6a1e40f9dd55 
--- a/src/Pure/Syntax/lexicon.ML	Tue Nov 27 13:22:29 2012 +0100
+++ b/src/Pure/Syntax/lexicon.ML	Tue Nov 27 19:22:36 2012 +0100
@@ -293,6 +293,7 @@
 
     fun idxname cs ds = (implode (rev cs), nat 0 ds);
     fun chop_idx [] ds = idxname [] ds
+      | chop_idx (cs as (_ :: "\\<^sub>" :: _)) ds = idxname cs ds
       | chop_idx (cs as (_ :: "\\<^isub>" :: _)) ds = idxname cs ds
       | chop_idx (cs as (_ :: "\\<^isup>" :: _)) ds = idxname cs ds
       | chop_idx (c :: cs) ds =
isabelle