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
Mon, 30 Nov 2009 17:13:19 +0100
changeset 33928 ad2edc2f9ce3
parent 33927 2a4c44b06eb4
child 33929 e7685297e9da
updated date;
Admin/ProofGeneral/version.patch file | annotate | diff | comparison | revisions 
--- a/Admin/ProofGeneral/version.patch	Mon Nov 30 17:13:12 2009 +0100
+++ b/Admin/ProofGeneral/version.patch	Mon Nov 30 17:13:19 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 Sun 29 Nov 2009."
++  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Mon 30 Nov 2009."
      "Version string identifying Proof General release."))
  
  (defconst proof-general-short-version
isabelle