diff options
| author | herbelin | 2005-02-06 13:03:51 +0000 |
|---|---|---|
| committer | herbelin | 2005-02-06 13:03:51 +0000 |
| commit | a608c8e1bffa032ed67f6f2dd406017b6aca9eb9 (patch) | |
| tree | 5bb5097ecebd3d07d1749af17520a77f6d2b6a4a /doc | |
| parent | f937000d0093a1cae137753f6e73ec15561cb9df (diff) | |
Nettoyage et documentation de Library
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6692 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/preamble.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/preamble.tex b/doc/preamble.tex index f849ac3812..2cd21f0228 100644 --- a/doc/preamble.tex +++ b/doc/preamble.tex @@ -1,4 +1,4 @@ -\documentclass[12pt]{article} +\documentclass[11pt]{article} \usepackage[latin1]{inputenc} \usepackage[T1]{fontenc} \usepackage{ocamlweb} |