Admin/ProofGeneral/3.7.1.1/version.patch
author blanchet
Mon, 19 May 2014 23:43:53 +0200
changeset 57005 33f3d2ea803d
parent 41639 d1cac8c778ed
permissions -rw-r--r--
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
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
 ;;