diff options
| author | msozeau | 2008-10-22 16:31:10 +0000 |
|---|---|---|
| committer | msozeau | 2008-10-22 16:31:10 +0000 |
| commit | c0adc36c5b0ca00a8db16f38feb45e20fc00fb22 (patch) | |
| tree | 6bdd9a91e2c09210a0e21a995122069248e92649 /interp/implicit_quantifiers.ml | |
| 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 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions