doc-src/IsarImplementation/Thy/document/ML.tex
changeset 18554 bff7a1466fe4
parent 18543 e903a1d0bed5
child 20490 e502690952be
equal deleted inserted replaced
18553:14f24be9e499 18554:bff7a1466fe4
    22 \isamarkupchapter{Aesthetics of ML programming%
    22 \isamarkupchapter{Aesthetics of ML programming%
    23 }
    23 }
    24 \isamarkuptrue%
    24 \isamarkuptrue%
    25 %
    25 %
    26 \begin{isamarkuptext}%
    26 \begin{isamarkuptext}%
    27 FIXME style guide%
    27 FIXME style guide, see also
       
    28 \url{http://caml.inria.fr/resources/doc/guides/guidelines.en.html} and
       
    29 \url{http://www.cs.cornell.edu/Courses/cs312/2003sp/handouts/style.htm}%
    28 \end{isamarkuptext}%
    30 \end{isamarkuptext}%
    29 \isamarkuptrue%
    31 \isamarkuptrue%
    30 %
    32 %
    31 \isamarkupchapter{Basic library functions%
    33 \isamarkupchapter{Basic library functions%
    32 }
    34 }