1.1 --- a/lib/Tools/version Fri Jul 22 15:57:36 2011 +0200
1.2 +++ b/lib/Tools/version Fri Jul 22 17:09:35 2011 +0200
1.3 @@ -63,5 +63,5 @@
1.4 ${HG:-hg} id --repository "$ISABELLE_HOME" --id 2>/dev/null || echo undefined
1.5 fi
1.6 else
1.7 - echo 'Isabelle2011: January 2011' # filled in automatically!
1.8 + echo 'unidentified repository version' # filled in automatically!
1.9 fi
2.1 --- a/lib/html/library_index_header.template Fri Jul 22 15:57:36 2011 +0200
2.2 +++ b/lib/html/library_index_header.template Fri Jul 22 17:09:35 2011 +0200
2.3 @@ -5,7 +5,7 @@
2.4 <html xmlns="http://www.w3.org/1999/xhtml">
2.5 <head>
2.6 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
2.7 - <title>The Isabelle2011 Library</title>
2.8 + <title>The {ISABELLE} Library</title>
2.9 </head>
2.10
2.11 <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
3.1 --- a/lib/scripts/getsettings Fri Jul 22 15:57:36 2011 +0200
3.2 +++ b/lib/scripts/getsettings Fri Jul 22 17:09:35 2011 +0200
3.3 @@ -31,8 +31,8 @@
3.4 . "$ISABELLE_HOME/lib/scripts/isabelle-platform"
3.5
3.6 #Isabelle distribution identifier -- filled in automatically!
3.7 -ISABELLE_ID="Isabelle2011"
3.8 -ISABELLE_IDENTIFIER="Isabelle2011"
3.9 +ISABELLE_ID=""
3.10 +ISABELLE_IDENTIFIER=""
3.11
3.12 #sometimes users put strange things in here ...
3.13 unset ENV
4.1 --- a/test/Tools/isac/Test_Some.thy Fri Jul 22 15:57:36 2011 +0200
4.2 +++ b/test/Tools/isac/Test_Some.thy Fri Jul 22 17:09:35 2011 +0200
4.3 @@ -88,10 +88,10 @@
4.4 getFormulaeFromTo 1 ([1], Frm) ([1,12], Res) 99999 false;
4.5 *)
4.6 interSteps 1 ([6], Res);
4.7 -(*========== inhibit exn AK110721 ================================================
4.8
4.9 getTactic 1 ([6,1], Frm) (*here get the tactic, and ...*);
4.10 interSteps 1 ([6,1], Res) (*... here get the intermediate steps above*);
4.11 +(*========== inhibit exn AK110721 ================================================
4.12
4.13 getTactic 1 ([3,4,1], Frm);
4.14 val ((pt,_),_) = get_calc 1; show_pt pt;