[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Demexp-dev] Re: Modified wdialog-client.
From: |
David MENTRE |
Subject: |
Re: [Demexp-dev] Re: Modified wdialog-client. |
Date: |
Thu, 05 Oct 2006 22:16:07 +0200 |
User-agent: |
Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux) |
Hi Ketty,
"ketty ." <address@hidden> writes:
> I have now put a local branch online at:
> http://equah.afraid.org/demexp/hgweb.cgi
I have been able to compile it with below patch. Apparently, you haven't
made a 'make all' to compile the demexp-book. There is only remaning
glitch with a UTF-8 accent in browse.ui.nw as all my accents are in
Latin1. In fact, I should change all files to UTF-8.
As you have modified a lot the code, I'm going to need to think at a way
to integrate your work.
diff -r 1a12f39f4ffe doc/demexp-book.tex
--- a/doc/demexp-book.tex Thu Oct 05 06:59:17 2006 +0200
+++ b/doc/demexp-book.tex Thu Oct 05 22:12:15 2006 +0200
@@ -246,19 +246,8 @@ literate programming form because it is
\part{Web interface (\texttt{web/})}
\input{../web/serverConnection.ml.tex}
-\input{../web/registry.ml.tex}
-\input{../web/session.ui.tex}
-\input{../web/session.ml.tex}
\input{../web/login.ui.tex}
-\input{../web/login.ml.tex}
\input{../web/browse.ui.tex}
-\input{../web/browse.ml.tex}
-\input{../web/addResponse.ui.tex}
-\input{../web/addResponse.ml.tex}
-\input{../web/addQuestion.ui.tex}
-\input{../web/addQuestion.ml.tex}
-\input{../web/voteWeb.ui.tex}
-\input{../web/voteWeb.ml.tex}
\input{../web/demexpweb.ui.tex}
\input{../web/demexpweb.ml.tex}
diff -r 1a12f39f4ffe web/serverConnection.ml.nw
--- a/web/serverConnection.ml.nw Thu Oct 05 06:59:17 2006 +0200
+++ b/web/serverConnection.ml.nw Thu Oct 05 22:07:31 2006 +0200
@@ -11,9 +11,11 @@ open Messages_clnt
@
The server to connect to is decided by one of
-1. the file /etc/demexp_server
-2. the file ./demexp_server
-3. the hardcoded value of Config.default_server_name
+\begin{enumerate}
+\item the file [[/etc/demexp_server]];
+\item the file [[./demexp_server]];
+\item the hardcoded value of [[Config.default_server_name]].
+\end{enumerate}
<<serverConnection.ml>>=
let web_default_server =
Best wishes,
d.
--
GPG/PGP key: A3AD7A2A David MENTRE <address@hidden>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
- [Demexp-dev] Modified wdialog-client., ketty ., 2006/10/09
- [Demexp-dev] Fwd: Modified wdialog-client., ketty ., 2006/10/03
- [Demexp-dev] Re: Modified wdialog-client., ketty ., 2006/10/05
- Re: [Demexp-dev] Re: Modified wdialog-client., David MENTRE, 2006/10/05
- Message not available
- Re: [Demexp-dev] Re: Modified wdialog-client., David MENTRE, 2006/10/05
- Re: [Demexp-dev] Re: Modified wdialog-client., ketty ., 2006/10/05
- Re: [Demexp-dev] Re: Modified wdialog-client., David MENTRE, 2006/10/05
- Re: [Demexp-dev] Re: Modified wdialog-client., ketty ., 2006/10/05
- Re: [Demexp-dev] Re: Modified wdialog-client.,
David MENTRE <=