diff options
author | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-22 16:31:10 +0000 |
---|---|---|
committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-22 16:31:10 +0000 |
commit | c0adc36c5b0ca00a8db16f38feb45e20fc00fb22 (patch) | |
tree | 6bdd9a91e2c09210a0e21a995122069248e92649 /doc/stdlib/Library.tex | |
parent | 6322f01644dd370322b09b663c53eef57388dcce (diff) |
Various coqdoc improvements:
- New "color" option to the coqdoc latex style file to typeset
using the xcolor package, still following the McBride convention.
- Work on proper indentation and spacing of output code and allow
users to customise indentation (setting a base indentation length)
and line skips for empty lines of code.
- Also add new environments to distinguish code and documentation,
doing nothing right now.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11491 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib/Library.tex')
-rwxr-xr-x | doc/stdlib/Library.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex index 8735bc720..8a5c7ab76 100755 --- a/doc/stdlib/Library.tex +++ b/doc/stdlib/Library.tex @@ -3,7 +3,7 @@ \usepackage[latin1]{inputenc} \usepackage[T1]{fontenc} \usepackage{fullpage} -\usepackage{../../coqdoc} +\usepackage[color]{../../coqdoc} \input{../common/version} \input{../common/title} |