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 generated file;
authorwenzelm
Tue, 27 Jan 2009 19:56:26 +0100
changeset 29647 12070638fe29
parent 29646 5941c156902d
child 29648 ead544f3d6a1
child 29651 16a19466bf81
child 29663 fd39a59cbeb4
updated generated file;
doc-src/IsarImplementation/Thy/document/ML.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Tue Jan 27 19:56:20 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Tue Jan 27 19:56:26 2009 +0100
@@ -319,7 +319,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsection{Linear transformations%
+\isamarkupsection{Linear transformations \label{sec:ML-linear-trans}%
 }
 \isamarkuptrue%
 %
isabelle