diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-01-19 13:26:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-19 13:26:05 +0000 |
| commit | cd1b26247b4f564dd40e103e191e5e1e5cdf9323 (patch) | |
| tree | 428618c23bca7b5b7447fbc00dce89bf2076c807 /hol-light | |
| parent | 7a99657374311fe12ca35c92411f46ad0d594ea8 (diff) | |
Patch needed temporarily to avoid rebuild of Prooftree
Diffstat (limited to 'hol-light')
| -rw-r--r-- | hol-light/temp-prooftree-configure.patch | 25 |
1 files changed, 25 insertions, 0 deletions
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) + ())) + |