# HG changeset patch
# User immler@in.tum.de
# Date 1233865110 -3600
# Node ID 452a588f795491b9dad7edcd08f45a81518ae094
# Parent  06a18bcf4e74a772951b0c88ceb32e48d099ca39
styles properties

diff -r 06a18bcf4e74 -r 452a588f7954 src/Tools/jEdit/plugin/styles.props
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/plugin/styles.props	Thu Feb 05 21:18:30 2009 +0100
@@ -0,0 +1,11 @@
+#syntax styles
+options.isabelle.styles.command.foreground=#000080
+options.isabelle.styles.keyword.foreground=#008000
+options.isabelle.styles.fixed_decl.foreground=#080808
+options.isabelle.styles.local_fact_decl.foreground=#080808
+options.isabelle.styles.fact.foreground=#080808
+options.isabelle.styles.method.foreground=#101010
+options.isabelle.styles.literal.foreground=#808000
+options.isabelle.styles.ident.foreground=#C0C000
+options.isabelle.styles.doc_source.foreground=#C00000
+options.isabelle.styles.ML_source.foreground=#C00000
\ No newline at end of file