From c7957a3b0a7df3f03f62f6b17e5977b44c3e5986 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 21 May 2010 21:26:17 +0000
Subject: [PATCH] TextWrangler stuff.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1905 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/syntax-highlighters/textwrangler/prism.plist | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/prism/etc/syntax-highlighters/textwrangler/prism.plist b/prism/etc/syntax-highlighters/textwrangler/prism.plist
index 2a2804fc..f6a63912 100644
--- a/prism/etc/syntax-highlighters/textwrangler/prism.plist
+++ b/prism/etc/syntax-highlighters/textwrangler/prism.plist
@@ -1,5 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+
+<!--
+PRISM syntax highlighting for TextWrangler.
+Copy this file into ~/Library/Application Support/TextWrangler/Language Modules/
+(creating this directory if necessary).
+-->
+
 <plist version="1.0">
 <dict>
 	<key>BBEditDocumentType</key>