From c39ae5296c474c17ef393279d84715cf7c357f5c Mon Sep 17 00:00:00 2001
From: cxl <>
Date: Thu, 15 Apr 2004 21:48:07 +0000
Subject: Added some syntax stuff (highlight comments etc).

---
 ccc/ccc.el | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

(limited to 'ccc')

diff --git a/ccc/ccc.el b/ccc/ccc.el
index d997a757..81754b00 100644
--- a/ccc/ccc.el
+++ b/ccc/ccc.el
@@ -45,8 +45,31 @@
  proof-count-undos-fn		'ccc-count-undos
 
  ;;
- ;; Some basic fontlocking, as taken from the hol98 instance.
+ ;; Some basic fontlocking and syntax table entries, as taken from the 
+ ;; hol98 instance (it's all SML anyway :-)
  ;;
+ proof-script-syntax-table-entries
+ '(?\` "\""
+   ?\$ "."   
+   ?\/ "."   
+   ?\\ "."   
+   ?+  "."   
+   ?-  "."   
+   ?=  "."   
+   ?%  "."   
+   ?<  "."   
+   ?>  "."   
+   ?\& "."   
+   ?.  "w"   
+   ?_  "w"   
+   ?\' "w"   
+   ?\| "."
+   ?\[ "(]"
+   ?\] ")["   
+   ?\* ". 23"
+   ?\( "()1" 
+   ?\) ")(4")
+
  ccc-keywords  '("use" "ap" "holcasl" "ccc" "load_lib" "qeccc")
  ccc-tactics   '("compose" "compose'" "prove" "prove_free_type")
  ccc-tacticals '("Repeat" "Orelse" "Then" "ThenList" "OrelseList")
-- 
cgit v1.2.3