[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] TeXmacs 1.0.0.7
|
From: |
Joris van der Hoeven |
|
Subject: |
Re: [Texmacs-dev] TeXmacs 1.0.0.7 |
|
Date: |
Wed, 12 Jun 2002 18:38:41 +0200 (MET DST) |
> string
> ! connection_start (string name, string session, bool again=FALSE) {
> // cout << "Start " << name << ", " << session << "\n";
> if (!connection_declared (name))
> return "Error: connection " * name * " has not been declared";
> --- 342,348 ----
>
> ******************************************************************************/
>
> string
> ! connection_start (string name, string session, bool again) {
> // cout << "Start " << name << ", " << session << "\n";
> if (!connection_declared (name))
> return "Error: connection " * name * " has not been declared";
Thanks, fixed in 1.0.0.8.