Mercurial Mercurial > hg > isabelle-cookbook / diff
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.
ProgTutorial/Intro.thy
changeset 521 9728b0432fb2
parent 520 615762b8d8cb
child 522 0ed6f49277c4 
--- a/ProgTutorial/Intro.thy	Mon Jun 18 14:49:09 2012 +0100
+++ b/ProgTutorial/Intro.thy	Mon Jun 18 15:04:34 2012 +0100
@@ -294,7 +294,7 @@
   about parsing.
 
   \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation 
-  @{text "command_spec"}, which simplified the code. 
+  @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. 
 
   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.
isabelle-cookbook