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/Doc/Classes/Setup.thy
changeset 56059 2390391584c2
parent 52143 36ffe23b25f8
child 56061 564a7bee8652
equal deleted inserted replaced
56058:cd9ce893f2d6 56059:2390391584c2 
     4 
     4 
     5 ML_file "../antiquote_setup.ML"
 
     5 ML_file "../antiquote_setup.ML"
 
     6 ML_file "../more_antiquote.ML"
 
     6 ML_file "../more_antiquote.ML"
 
     7 
     7 
     8 setup {*
 
     8 setup {*
 
     9   Antiquote_Setup.setup #>
 
       
    10   More_Antiquote.setup #>
 
     9   More_Antiquote.setup #>
 
    11   Code_Target.set_default_code_width 74
 
    10   Code_Target.set_default_code_width 74
 
    12 *}
 
    11 *}
 
    13 
    12 
    14 syntax
 
    13 syntax
isabelle