Adding JMCR-Stable version
[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / WWW / Overview.html
diff --git a/JMCR-Stable/mcr-test/WWW/Overview.html b/JMCR-Stable/mcr-test/WWW/Overview.html
new file mode 100644 (file)
index 0000000..87a3711
--- /dev/null
@@ -0,0 +1,78 @@
+<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 3.2 Strict//EN">\r
+<HTML>\r
+  <HEAD>\r
+    <link rel="stylesheet" type="text/css" href="style/jigsaw.css">\r
+    </style>\r
+    <TITLE>Jigsaw Overview</TITLE>\r
+  </HEAD>\r
+  <BODY BGCOLOR="white">\r
+    <P>\r
+      <A href="../"><IMG BORDER="0" SRC="/icons/WWW/w3c_home"\r
+         ALT="W3C" WIDTH="72" HEIGHT="48">\r
+      </A><IMG BORDER="0" SRC="/icons/jigsaw" WIDTH="212" HEIGHT="49"\r
+       ALT="Jigsaw"> \r
+    <H1 class="title">\r
+      Jigsaw Overview\r
+    </H1>\r
+    <HR noshade width="70%" align="left">\r
+    \r
+    <P>\r
+      This is your home page, served by <b>Jigsaw</b> !\r
+    <p> You can edit it as the file\r
+      <CODE>&lt;INSTDIR&gt;/Jigsaw/Jigsaw/WWW/Overview.html</CODE>.\r
+    <P>\r
+      For further questions, comments, criticisms, a\r
+      <A HREF="mailto:www-jigsaw@w3.org">mailing list</A> is\r
+      available, to subscribe send email to <A\r
+       HREF="mailto:www-jigsaw-request@w3.org">\r
+       www-jigsaw-request@w3.org</A> with the word <I>subscribe</I>\r
+      in the subject. Before posting, you're welcome to check the\r
+      <A HREF="http://lists.w3.org/Archives/Public/www-jigsaw/threads.html">\r
+       mailing list archive</A>.\r
+    <p> \r
+    <H2>\r
+      Configuring the server\r
+    </H2>\r
+    <P>\r
+      As of 2.0.0, <B>Jigsaw</B>'s configuration is handled through\r
+      a full-blown Java application named <B>JigAdmin</B>. To run that\r
+      application, run the following commands:\r
+      <DIV class="box">\r
+      <PRE style="font-family: Helvetica; font-size: 10pt">Windows\r
+          set CLASSPATH=&lt;INSTDIR&gt;\Jigsaw\classes\jigsaw.jar;&lt;INSTDIR&gt;\Jigsaw\classes\jigadmin.jar;&lt;INSTDIR&gt;\Jigsaw\classes\sax.jar;&lt;INSTDIR&gt;\Jigsaw\classes\xp.jar;.\r
+          java org.w3c.jigadmin.Main -root &lt;INSTDIR&gt;\Jigsaw\Jigsaw http://<I>yourmachine</I>:8009/\r
+\r
+Unix\r
+          export CLASSPATH=&lt;INSTDIR&gt;/Jigsaw/classes/jigsaw.jar:&lt;INSTDIR&gt;/Jigsaw/classes/jigadmin.jar:&lt;INSTDIR&gt;/Jigsaw/classes/&lt;INSTDIR&gt;/Jigsaw/classes/sax.jar:&lt;INSTDIR&gt;/Jigsaw/classes/xp.jar:.\r
+          java org.w3c.jigadmin.Main -root &lt;INSTDIR&gt;/Jigsaw/Jigsaw http://<I>yourmachine</I>:8009/</PRE></DIV>\r
+    <p> If you still use the old JigAdmin with the\r
+      following commands:\r
+      <DIV class="box">\r
+      <PRE style="font-family: Helvetica; font-size: 10pt">Windows\r
+          set CLASSPATH=&lt;INSTDIR&gt;\Jigsaw\classes\jigsaw.jar;&lt;INSTDIR&gt;/Jigsaw/classes/sax.jar;&lt;INSTDIR&gt;/Jigsaw/classes/xp.jar;.\r
+          java org.w3c.jigadm.Main -root &lt;INSTDIR&gt;\Jigsaw\Jigsaw http://<I>yourmachine</I>:8009/\r
+      \r
+Unix\r
+          export CLASSPATH=&lt;INSTDIR&gt;/Jigsaw/classes/jigsaw.jar:&lt;INSTDIR&gt;/Jigsaw/classes/sax.jar:&lt;INSTDIR&gt;/Jigsaw/classes/xp.jar\r
+          java org.w3c.jigadm.Main -root &lt;INSTDIR&gt;/Jigsaw/Jigsaw http://<I>yourmachine</I>:8009/</PRE></DIV>\r
+    <P>\r
+    <H2>\r
+      More Infos\r
+    </H2>\r
+    <UL>\r
+      <LI>\r
+       <A HREF="/Doc/">Jigsaw User's Guide</A>\r
+      <LI>\r
+       <A HREF="RelNotes.html">Latest Release Notes</A>\r
+      <LI>\r
+       <A HREF="http://www.w3.org/Jigsaw/">Jigsaw's home page\r
+       </A>(remote)\r
+      <LI>\r
+       <A HREF="http://jigsaw.w3.org/">Demo site</A> (remote)\r
+    </UL>\r
+    <P>\r
+    <HR noshade>\r
+    Enjoy !<BR>\r
+    <A HREF="mailto:jigsaw@w3.org">Jigsaw Team</A>\r
+  </BODY>\r
+</HTML>\r