Mercurial Mercurial > repos > isabelle / annotate
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/Tools/jEdit/plugin/styles.props
author immler@in.tum.de
Sat, 28 Mar 2009 15:40:47 +0100
changeset 34543 b32b20f0692f
parent 34542 e647f063ffad
permissions -rw-r--r--
when jEdit is run from Netbeans, activate=defer does not work (why?)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34525
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     1
 
#syntax styles
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     2
 
options.isabelle.styles.command.foreground=#000080
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     3
 
options.isabelle.styles.keyword.foreground=#008000
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     4
 
options.isabelle.styles.fixed_decl.foreground=#080808
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     5
 
options.isabelle.styles.local_fact_decl.foreground=#080808
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     6
 
options.isabelle.styles.fact.foreground=#080808
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     7
 
options.isabelle.styles.method.foreground=#101010
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     8
 
options.isabelle.styles.literal.foreground=#808000
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
     9
 
options.isabelle.styles.ident.foreground=#C0C000
452a588f7954 styles properties
immler@in.tum.de
parents:
diff changeset 
    10
 
options.isabelle.styles.doc_source.foreground=#C00000
34542
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    11
 
options.isabelle.styles.ML_source.foreground=#C00000
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    12
 
options.isabelle.styles.malformed=#FF0000
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    13
 
#ML
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    14
 
options.isabelle.styles.ML_keyword.foreground=#000080
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    15
 
options.isabelle.styles.ML_ident.foreground=#000080
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    16
 
options.isabelle.styles.ML_tvar.foreground=#
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    17
 
options.isabelle.styles.ML_numeral.foreground=#808000
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    18
 
options.isabelle.styles.ML_char.foreground=#C0C000
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    19
 
options.isabelle.styles.ML_string.foreground=#C0C000
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    20
 
options.isabelle.styles.ML_comment.foreground=#808080
e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props
immler@in.tum.de
parents: 34525
diff changeset 
    21
 
options.isabelle.styles.ML_malformed.foreground=#FF0000
isabelle