k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] --no-config?

From: soha hussein <husseinsoh AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] --no-config?
Date: Thu, 31 Oct 2013 13:17:23 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi,

I have another problem, I am trying to use the --no-config option in the krun
but it isn't there in the nightly version nor in the stable version, isn't it
supported anymore? I noticed there is another option "--io[on|off]", is it
replacing the --no-config? i tried using it but it is giving me errors as
well. I tested both options on the tutorial imp++ lesson 4, running io.imp
program. Any help would be appreciated.

Thank you,

Soha

[K-user] --no-config?, soha hussein, 10/31/2013
- Re: [K-user] --no-config?, Dorel Lucanu, 10/31/2013
  - Re: [K-user] --no-config?, Traian Florin Șerbănuță, 10/31/2013