Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated date;
authorwenzelm
Sun, 29 Nov 2009 20:20:22 +0100
changeset 33924 e1c262952b02
parent 33923 7fc1ab75b4fa
child 33925 5a6b281f37fe
updated date;
Admin/ProofGeneral/version.patch file | annotate | diff | comparison | revisions 
--- a/Admin/ProofGeneral/version.patch	Sun Nov 29 12:56:30 2009 +1100
+++ b/Admin/ProofGeneral/version.patch	Sun Nov 29 20:20:22 2009 +0100
@@ -5,7 +5,7 @@
  (eval-and-compile
  ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
 -  (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008."
-+  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sat 28 Nov 2009."
++  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sun 29 Nov 2009."
      "Version string identifying Proof General release."))
  
  (defconst proof-general-short-version
isabelle