Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated date;
authorwenzelm
Sun, 29 Nov 2009 20:20:22 +0100
changeset 33940e1c262952b02
parent 33939 7fc1ab75b4fa
child 33941 5a6b281f37fe
updated date;
Admin/ProofGeneral/version.patch file | annotate | diff | comparison | revisions 
     1.1 --- a/Admin/ProofGeneral/version.patch	Sun Nov 29 12:56:30 2009 +1100
     1.2 +++ b/Admin/ProofGeneral/version.patch	Sun Nov 29 20:20:22 2009 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4   (eval-and-compile
     1.5   ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
     1.6  -  (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008."
     1.7 -+  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sat 28 Nov 2009."
     1.8 ++  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sun 29 Nov 2009."
     1.9       "Version string identifying Proof General release."))
    1.10   
    1.11   (defconst proof-general-short-version
wneuper/isa