[r2002-11-10 16:20:52 by cvscast] Empty log message

Original author: cvscast Date: 2002-11-10 16:20:52+00:00

[r2002-11-10 16:20:52 by cvscast] Empty log message
Original author: cvscast Date: 2002-11-10 16:20:52+00:00
d90b21a4 · Pietro Abate · 08f6b841 · d90b21a4
Commit d90b21a4 authored Oct 05, 2007 by Pietro Abate
--- a/driver/webiface.ml
+++ b/driver/webiface.ml
@@ -47,7 +47,11 @@ let html_header p =
 <body>
  <h1>CDuce online prototype</h1>
 ";
-  if !persistant then (p "(session #"; p !session_id; p ")<br>")
+  if !persistant then 
+    (p "You're running the CDuce prototype in session mode: values and
+types accepted by CDuce when you click 'Submit' will be available
+for subsequent requests.";
+     p "<small> (session #"; p !session_id; p ")</small><br>")

 let html_form p content =
  p "<form method=post>";