Admin/ProofGeneral/version.patch
changeset 41667 b9357f56fd64
parent 41663 4030fcc5c785
parent 41666 fcd67ce9810b
child 41668 62ed9f31ea90
equal deleted inserted replaced
41663:4030fcc5c785 41667:b9357f56fd64
     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  ;;