From 8c6b24410a2ef8d9767bfc1f4c12c0bfa6a0605c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 12 Aug 2002 08:31:22 +0000
Subject: Enable variable highlighting in case experimental features enabled.

---
 isar/isar.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 4d08f5b3..b3e283d7 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -240,8 +240,9 @@ See -k option for Isabelle interface script."
    pg-subterm-start-char                ?\372
    pg-subterm-sep-char                  ?\373
    pg-subterm-end-char                  ?\374
-   pg-after-fontify-output-hook	'isabelle-convert-idmarkup-to-subterm
-					;'pg-remove-specials
+   pg-after-fontify-output-hook	
+   (if proof-experimental-features 
+       'isabelle-convert-idmarkup-to-subterm 'pg-remove-specials)
    pg-subterm-help-cmd			"term %s" 
 
    proof-shell-process-file
-- 
cgit v1.2.3