Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/ProofGeneral/version.patch
author blanchet
Thu, 29 Jul 2010 22:43:46 +0200
changeset 38100 e458a0dd3dc1
parent 33928 ad2edc2f9ce3
permissions -rw-r--r--
use "explicit_apply" in the minimizer whenever it might make a difference to prevent freak failures; this replaces the previous, somewhat messy solution of adding "extra" clauses
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33913
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     1
 
--- a/generic/proof-site.el	2008-07-23 14:40:14.000000000 +0200
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     2
 
+++ b/generic/proof-site.el	2009-11-28 16:13:56.409505412 +0100
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     3
 
@@ -55,7 +55,7 @@
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     4
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     5
 
 (eval-and-compile
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     6
 
 ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     7
 
-  (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008."
33928
ad2edc2f9ce3 updated date;
wenzelm
parents: 33924
diff changeset 
     8
 
+  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Mon 30 Nov 2009."
33913
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
     9
 
     "Version string identifying Proof General release."))
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    10
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    11
 
 (defconst proof-general-short-version
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    12
 
@@ -64,7 +64,7 @@
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    13
 
       (string-match "Version \\([^ ]+\\)\\." proof-general-version)
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    14
 
       (match-string 1 proof-general-version))))
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    15
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    16
 
-(defconst proof-general-version-year "2008")
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    17
 
+(defconst proof-general-version-year "2009")
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    18
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    19
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
bb8ff5614ba7 PG version 3.7.1.1;
wenzelm
parents:
diff changeset 
    20
 
 ;;
isabelle