Changeset 11576

Show
Ignore:
Timestamp:
25.03.2009 13:15:26 (12 months ago)
Author:
csliam
Message:

Added "open" as an ignored key word in Isabelle

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Isabelle/IsaConsts.hs

    r11524 r11576  
    708708    [ domainS, oopsS, refuteS, fixrecS, primrecS, declareS, usingS 
    709709    , dotDot, typedefS 
    710     , "sorry", "done", "by", "proof", "apply", "qed" 
     710    , "open", "sorry", "done", "by", "proof", "apply", "qed" 
    711711    , "classrel", "defaultsort", "nonterminls", "arities" 
    712712    , "syntax", "no_syntax", "translations"