updated system manual for release;
authorwenzelm
Sat Apr 28 17:54:50 2012 +0200 (2012-04-28)
changeset 4782713530d774a21
parent 47826 7c97bfe3a501
child 47828 e6e1b670520b
updated system manual for release;
NEWS
doc-src/System/Thy/Misc.thy
doc-src/System/Thy/document/Misc.tex
     1.1 --- a/NEWS	Sat Apr 28 17:53:12 2012 +0200
     1.2 +++ b/NEWS	Sat Apr 28 17:54:50 2012 +0200
     1.3 @@ -36,8 +36,9 @@
     1.4  "syntax_ambiguity_warning" and "syntax_ambiguity_limit" in isar-ref
     1.5  manual.  Minor INCOMPATIBILITY.
     1.6  
     1.7 -* Updated and extended reference manuals: "isar-ref" and
     1.8 -"implementation"; reduced remaining material in old "ref" manual.
     1.9 +* Updated and extended reference manuals: "isar-ref",
    1.10 +"implementation", "system"; reduced remaining material in old "ref"
    1.11 +manual.
    1.12  
    1.13  
    1.14  *** Pure ***
     2.1 --- a/doc-src/System/Thy/Misc.thy	Sat Apr 28 17:53:12 2012 +0200
     2.2 +++ b/doc-src/System/Thy/Misc.thy	Sat Apr 28 17:54:50 2012 +0200
     2.3 @@ -292,7 +292,7 @@
     2.4  \end{ttbox}
     2.5  
     2.6    \medskip The default is to output the full version string of the
     2.7 -  Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2011: January 2011"}.
     2.8 +  Isabelle distribution, e.g.\ ``@{verbatim "Isabelle2012: May 2012"}.
     2.9  
    2.10    The @{verbatim "-i"} option produces a short identification derived
    2.11    from the Mercurial id of the @{setting ISABELLE_HOME} directory.
     3.1 --- a/doc-src/System/Thy/document/Misc.tex	Sat Apr 28 17:53:12 2012 +0200
     3.2 +++ b/doc-src/System/Thy/document/Misc.tex	Sat Apr 28 17:54:50 2012 +0200
     3.3 @@ -331,7 +331,7 @@
     3.4  \end{ttbox}
     3.5  
     3.6    \medskip The default is to output the full version string of the
     3.7 -  Isabelle distribution, e.g.\ ``\verb|Isabelle2011: January 2011|.
     3.8 +  Isabelle distribution, e.g.\ ``\verb|Isabelle2012: May 2012|.
     3.9  
    3.10    The \verb|-i| option produces a short identification derived
    3.11    from the Mercurial id of the \hyperlink{setting.ISABELLE-HOME}{\mbox{\isa{\isatt{ISABELLE{\isaliteral{5F}{\isacharunderscore}}HOME}}}} directory.%