Admin/ProofGeneral/version.patch
author blanchet
Tue Dec 07 11:56:53 2010 +0100 (2010-12-07)
changeset 41052 3db267a01c1d
parent 33928 ad2edc2f9ce3
permissions -rw-r--r--
remove the "fin_fun" optimization in Nitpick -- it was always a hack and didn't help much
     1 --- a/generic/proof-site.el	2008-07-23 14:40:14.000000000 +0200
     2 +++ b/generic/proof-site.el	2009-11-28 16:13:56.409505412 +0100
     3 @@ -55,7 +55,7 @@
     4  
     5  (eval-and-compile
     6  ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
     7 -  (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008."
     8 +  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Mon 30 Nov 2009."
     9      "Version string identifying Proof General release."))
    10  
    11  (defconst proof-general-short-version 
    12 @@ -64,7 +64,7 @@
    13        (string-match "Version \\([^ ]+\\)\\." proof-general-version)
    14        (match-string 1 proof-general-version))))
    15  
    16 -(defconst proof-general-version-year "2008")
    17 +(defconst proof-general-version-year "2009")
    18  
    19  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
    20  ;;