removed obsolete patches for PG 4.1;
authorwenzelm
Sun Sep 18 21:41:36 2011 +0200 (2011-09-18)
changeset 44982e7ac11643bef
parent 44981 2bec3b7514cf
child 44984 6e6e958b2d40
removed obsolete patches for PG 4.1;
Admin/ProofGeneral/4.1/dif
     1.1 --- a/Admin/ProofGeneral/4.1/dif	Sun Sep 18 21:15:31 2011 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,10 +0,0 @@
     1.4 -diff -r ProofGeneral-4.1pre101216/generic/proof-useropts.el ProofGeneral-4.1pre101216-p1/generic/proof-useropts.el
     1.5 -121c121
     1.6 -< (defcustom proof-strict-read-only 'retract
     1.7 ----
     1.8 -> (defcustom proof-strict-read-only t
     1.9 -345c345
    1.10 -< (defcustom proof-full-annotation t
    1.11 ----
    1.12 -> (defcustom proof-full-annotation nil
    1.13 -