--- /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