1 | Index: lib/proof-compat.el |
---|
2 | =================================================================== |
---|
3 | RCS file: /disk/cvs/proofgen/ProofGeneral/lib/proof-compat.el,v |
---|
4 | retrieving revision 11.1 |
---|
5 | diff -B -b -c -r11.1 proof-compat.el |
---|
6 | *** lib/proof-compat.el 15 Nov 2010 19:10:38 -0000 11.1 |
---|
7 | --- lib/proof-compat.el 30 Jan 2011 21:35:01 -0000 |
---|
8 | *************** |
---|
9 | *** 72,79 **** |
---|
10 | custom-version |
---|
11 | saved-value |
---|
12 | theme-value |
---|
13 | ! theme-face)) |
---|
14 | ! (makunbound symbol)) |
---|
15 | |
---|
16 | |
---|
17 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
---|
18 | --- 72,78 ---- |
---|
19 | custom-version |
---|
20 | saved-value |
---|
21 | theme-value |
---|
22 | ! theme-face))) |
---|
23 | |
---|
24 | |
---|
25 | ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
---|