Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the

ability to format inference rules (delimited by [[[ ]]]) and adds some
new flags. Here's the message from Chris:

- coqdoc now has support for inference rules inside coqdoc comments.
 These should be enclosed in triple square brackets with the
 following format.

[[[
                      |- t1 : Bool
                 |- t2 : T    |- t3 : T
               ----------------------------                   (T_If)
               |- if t1 then t2 else t3 : T
]]]

 The rule's name is optional.  Multiple inference rules may be
 included in the same [[[ ]]] block, separated by blank lines.
 See http://www.cis.upenn.edu/~bcpierce/sf/Stlc.html#lab469
 for some examples of the output.  The output will only be pretty
 in html - in other formats it is printed verbatim (though it
 shouldn't be hard to add latex support, and I may soon).

- Two new coqdoc flags have been added.  First, --inline-notmono
 causes inline code to be printed in a proportional width font
 (adjustable in the css file).  Second, --no-glob tells coqdoc not to
 look for .glob files (no links will be inserted for identifiers when
 this flag is used).

- Finally, the handling of paragraphs and whitespace around lists
 has been made somewhat saner.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13473 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 43 insertions, 3 deletions

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index 24b514b76..ccd285f18 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -101,8 +101,13 @@ h4.section {
     color: rgb(30%,30%,70%);
     font-family: monospace } 
 
-.doc .inlinecode .id {
-    color: rgb(30%,30%,70%);
+.doc .inlinecode .id { 
+    color: rgb(30%,30%,70%); 
+} 
+
+.inlinecodenm { 
+    display: inline;
+    color: #444444;
 }
 
 .doc .code { 
@@ -124,6 +129,32 @@ h4.section {
     font-family: monospace;
  } 
 
+table.infrule {
+  border: 0px;
+  margin-left: 50px;
+  margin-top: 10px;
+  margin-bottom: 10px;
+}
+
+td.infrule {
+    font-family: monospace;
+    text-align: center;
+/*    color: rgb(35%,35%,70%);  */
+    padding: 0px;
+    line-height: 100%;
+}
+
+tr.infrulemiddle hr {
+    margin: 1px 0 1px 0;
+}
+
+.infrulenamecol {
+    color: rgb(60%,60%,60%); 
+    font-size: 80%;
+    padding-left: 1em;
+    padding-bottom: 0.1em
+}
+
 /* Pied de page */
 
 #footer { font-size: 65%;
@@ -231,4 +262,13 @@ h4.section {
     position: absolute;
     bottom: 0;
     text-align: bottom;
-}
\ No newline at end of file
+}
+
+.paragraph {
+    height: 0.75em;
+}
+
+ul.doclist {
+    margin-top: 0em;
+    margin-bottom: 0em;
+}