wneuper/isa: Admin/ProofGeneral/3.7.1.1/version.patch@d1cac8c778ed

     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 @@

     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."))

    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))))

    16 -(defconst proof-general-version-year "2008")

    17 +(defconst proof-general-version-year "2009")

    19  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    20  ;;

author	wenzelm
	Thu, 27 Jan 2011 20:46:20 +0100
changeset 41887	d1cac8c778ed
parent 33944	Admin/ProofGeneral/version.patch@ad2edc2f9ce3
permissions	-rw-r--r--