Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit fe4d797b authored by bguillaum's avatar bguillaum

fix html output

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@7458 7838e531-6607-4d57-9587-6c381814729c
parent 686734b2
......@@ -167,9 +167,9 @@ module Html_doc = struct
wnl " <body>";
wnl " <div class=\"navbar\">";
w " ";
(match prev with Some p -> w "&nbsp;<a href=\"%s.html\">Previous</a> " p | _ -> ());
w "&nbsp;<a href=\"index.html\">Up</a> ";
(match next with Some n -> w "&nbsp;<a href=\"%s.html\">Next</a> " n | _ -> ());
(match prev with Some p -> w "&nbsp;<a href=\"%s.html\">Previous</a>" p | _ -> ());
w "&nbsp;<a href=\"index.html\">Up</a>";
(match next with Some n -> w "&nbsp;<a href=\"%s.html\">Next</a>" n | _ -> ());
wnl " </div>";
wnl " <center><h1>Module <div class=\"module_title\">%s</div></h1></center><br/>" module_.Ast.module_id;
......@@ -202,9 +202,9 @@ module Html_doc = struct
wnl " <body>";
wnl " <div class=\"navbar\">";
w " ";
(match prev with Some p -> w "&nbsp;<a href=\"%s_%s.html\">Previous</a> " mid p | _ -> ());
(match prev with Some p -> w "&nbsp;<a href=\"%s_%s.html\">Previous</a>" mid p | _ -> ());
w "&nbsp;<a href=\"%s.html\">Up</a>" mid;
(match next with Some n -> w "&nbsp;<a href=\"%s_%s.html\">Next</a> " mid n | _ -> ());
(match next with Some n -> w "&nbsp;<a href=\"%s_%s.html\">Next</a>" mid n | _ -> ());
wnl " </div>";
wnl "<center><h1>Rule <a href=\"%s.html\">%s</a>.<div class=\"module_title\">%s</div></h1></center>" mid mid rid;
......@@ -595,15 +595,16 @@ module Html_sentences = struct
wnl "<h2>Sentences list</h2>";
wnl "<center><table cellpadding=3 cellspacing=0 width=\"95%%\">";
wnl "<tr><th class=\"first\">Number of normal forms</th><th>Sentence</th></tr>";
wnl "<tr><th class=\"first\">Number of normal forms</th><th>Sentence Id</th><th>Sentence</th></tr>";
List.iter
(fun (base_name_opt, amb, sentence) ->
(fun (rewrited, base_name, amb, sentence) ->
wnl "<tr>";
wnl " <td class=\"first_stats\">%d</td>" amb;
(match base_name_opt with
| Some base_name -> wnl " <td class=\"stats\"><a href=\"%s.html\">%s</a></td>" base_name sentence
| None -> wnl " <td class=\"stats\">%s</td>" sentence);
if rewrited
then wnl " <td class=\"stats\"><a href=\"%s.html\">%s</a></td>" base_name base_name
else wnl " <td class=\"stats\">%s</td>" base_name;
wnl " <td class=\"stats\">%s</td>" sentence;
wnl "</tr>";
) sentences;
......
......@@ -8,7 +8,7 @@ module Html_doc : sig
end
module Html_sentences : sig
val build: string -> (string option * int * string) list -> unit
val build: string -> (bool * string * int * string) list -> unit
end
......
......@@ -91,7 +91,7 @@ val make_index:
base_names: string list ->
unit
val html_sentences: string -> (string option * int * string) list -> unit
val html_sentences: string -> (bool * string * int * string) list -> unit
val get_css_file: string
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment