From cd1b26247b4f564dd40e103e191e5e1e5cdf9323 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 19 Jan 2012 13:26:05 +0000 Subject: Patch needed temporarily to avoid rebuild of Prooftree --- hol-light/temp-prooftree-configure.patch | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 hol-light/temp-prooftree-configure.patch (limited to 'hol-light') diff --git a/hol-light/temp-prooftree-configure.patch b/hol-light/temp-prooftree-configure.patch new file mode 100644 index 00000000..87166100 --- /dev/null +++ b/hol-light/temp-prooftree-configure.patch @@ -0,0 +1,25 @@ +Index: generic/proof-tree.el +=================================================================== +RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-tree.el,v +retrieving revision 12.3 +diff -c -r12.3 proof-tree.el +*** generic/proof-tree.el 19 Jan 2012 13:23:56 -0000 12.3 +--- generic/proof-tree.el 19 Jan 2012 13:25:30 -0000 +*************** +*** 492,498 **** + "Send the configure message." + (proof-tree-send-message + (format "configure for \"%s\" and protocol version %02d" +! proof-assistant + proof-tree-protocol-version) + ())) + +--- 492,499 ---- + "Send the configure message." + (proof-tree-send-message + (format "configure for \"%s\" and protocol version %02d" +! ;; temporarily pretend every proof assistant is Coq +! "Coq" ;; was proof-assistant + proof-tree-protocol-version) + ())) + -- cgit v1.2.3