src/Doc/antiquote_setup.ML
changeset 62829 4141c2a8458b
parent 61877 276ad4354069
child 66682 c4cbe609f6a8
     1.1 --- a/src/Doc/antiquote_setup.ML	Sun Apr 03 19:47:29 2016 +0200
     1.2 +++ b/src/Doc/antiquote_setup.ML	Sun Apr 03 21:32:57 2016 +0200
     1.3 @@ -157,17 +157,6 @@
     1.4    (Context_Position.report ctxt pos (Options.default_markup (name, pos)); true)
     1.5      handle ERROR _ => false;
     1.6  
     1.7 -fun check_tool ctxt (name, pos) =
     1.8 -  let
     1.9 -    fun tool dir =
    1.10 -      let val path = Path.append dir (Path.basic name)
    1.11 -      in if File.exists path then SOME path else NONE end;
    1.12 -  in
    1.13 -    (case get_first tool (Path.split (getenv "ISABELLE_TOOLS")) of
    1.14 -      NONE => false
    1.15 -    | SOME path => (Context_Position.report ctxt pos (Markup.path (Path.implode path)); true))
    1.16 -  end;
    1.17 -
    1.18  val arg = enclose "{" "}" o clean_string;
    1.19  
    1.20  fun entity check markup binding index =
    1.21 @@ -220,7 +209,7 @@
    1.22      entity_antiqs check_system_option "isasystem" @{binding system_option} #>
    1.23      entity_antiqs no_check "" @{binding inference} #>
    1.24      entity_antiqs no_check "isasystem" @{binding executable} #>
    1.25 -    entity_antiqs check_tool "isatool" @{binding tool} #>
    1.26 +    entity_antiqs no_check "isatool" @{binding tool} #>
    1.27      entity_antiqs ML_Context.check_antiquotation "" @{binding ML_antiquotation} #>
    1.28      entity_antiqs (K JEdit.check_action) "isasystem" @{binding action});
    1.29