src/Doc/antiquote_setup.ML
changeset 56060 61f319bebb7a
parent 56059 2390391584c2
child 56070 1bc0bea908c3
     1.1 --- a/src/Doc/antiquote_setup.ML	Wed Mar 12 14:17:13 2014 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Wed Mar 12 14:22:51 2014 +0100
     1.3 @@ -165,9 +165,6 @@
     1.4        | NONE => [])
     1.5    | parse_named _ _ = [];
     1.6  
     1.7 -fun parse_dockables [XML.Elem (("DOCKABLES", _), body)] = maps (parse_named "DOCKABLE") body
     1.8 -  | parse_dockables _ = [];
     1.9 -
    1.10  val jedit_actions =
    1.11    (case XML.parse (File.read (Path.explode "~~/src/Tools/jEdit/src/actions.xml")) of
    1.12      XML.Elem (("ACTIONS", _), body) => maps (parse_named "ACTION") body
    1.13 @@ -182,7 +179,7 @@
    1.14  
    1.15  in
    1.16  
    1.17 -fun is_action (name, pos) = member (op =) all_actions name;
    1.18 +val is_action = member (op =) all_actions;
    1.19  
    1.20  end;
    1.21  
    1.22 @@ -271,7 +268,7 @@
    1.23      entity_antiqs no_check "isatt" "executable" #>
    1.24      entity_antiqs (K check_tool) "isatool" "tool" #>
    1.25      entity_antiqs (can o ML_Context.check_antiq) "" Markup.ML_antiquotationN #>
    1.26 -    entity_antiqs (K is_action) "isatt" "action");
    1.27 +    entity_antiqs (K (is_action o #1)) "isatt" "action");
    1.28  
    1.29  end;
    1.30