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 the "version" variable (which was never done for
authorlcp
Mon, 27 Feb 1995 18:05:38 +0100
changeset 913 8aaa8c5a567e
parent 912 ed9e0c70a5da
child 914 cae574c09137
Updated the "version" variable (which was never done for Isabelle-94 revisions 1 and 2!)
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ROOT.ML	Mon Feb 27 17:51:12 1995 +0100
+++ b/src/Pure/ROOT.ML	Mon Feb 27 18:05:38 1995 +0100
@@ -12,7 +12,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle-94: September 94";
+val version = "Isabelle-94 revision 3: March 95";
 
 print_depth 1;
isabelle