--- driverInteractive.ml 2004-10-28 15:58:04.000000000 +0300
+++ driverInteractive.ml 2004-10-28 15:56:42.000000000 +0300
@@ -1236,7 +1236,7 @@
files := [|
(if use_html_mods o then
- Printf.sprintf "\\>\\
%d\\ | \\" !counter
+ Printf.sprintf "\\>\\ | %d\\ | " !counter
else Printf.sprintf "%s[%s%5d]"
(if new_result && !!term_ansi then "$b" else "$n")
(if new_result then "N" else " ")
@@ -1255,7 +1255,7 @@
(Printf.sprintf "%s%s%s"
(if o.conn_output = HTML then begin
- if !!html_mods then Printf.sprintf "\\" r.result_num
+ if !!html_mods then Printf.sprintf "\\\\" r.result_num
else Printf.sprintf "\\" r.result_num;
end
else "")
|