TEMPORARY: add unicode-tokens2 mechanism to test across different machines

1 files changed, 16 insertions, 0 deletions

diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el
index a42ca070..809630bc 100644
--- a/generic/proof-auxmodes.el
+++ b/generic/proof-auxmodes.el
@@ -76,6 +76,22 @@
 	     (proof-unicode-tokens-support-available))
 	(proof-unicode-tokens-set-global t)))
 
+;;
+;; Unicode tokens 2 (temporary!)
+;; 
+(defun proof-unicode-tokens2-support-available ()
+  "A test to see whether unicode tokens2 support is available."
+  (and
+   (or (featurep 'unicode-tokens2)
+       (proof-try-require 'unicode-tokens2))
+   ;; Requires prover-specific config in <foo>-unicode-tokens2.el
+   (proof-try-require (proof-ass-sym unicode-tokens2))))
+
+(proof-eval-when-ready-for-assistant
+    (if (and (proof-ass unicode-tokens2-enable)
+	     (proof-unicode-tokens2-support-available))
+	(proof-unicode-tokens2-set-global t)))
+
 
 (provide 'proof-auxmodes)