Email Gateway (Aug 18 2022 at 16:36): Email Gateway (Aug 18 2022 at 16:36):From: Makarius <makarius@sketis.net>
On Fri, 3 Dec 2010, Walther Neuper wrote:
installing Isabelle2009-2_bundle_x86-cygwin.tar.gz
<http://isabelle.in.tum.de/dist/Isabelle2009-2_bundle_x86-cygwin.tar.gz>
works perfect !Now we observe a strange behaviour on two of the notebooks: After
0 $ cp Isac /usr/local/Isabelle/heaps/polyml-5.3.0_x86-linux/
the following starts ...
I suppose you have copied an actual x86-cygwin image here, not x86-linux?
starts jedit as well, but Plugin/Isabelle gives error 'Failed to start
Isabelle process' together with a window just containing '>'.PS: These 2 notebooks only have 1 GB of memory.
This could well be the startup timeout, which is 10s by default. See
options.isabelle.startup-timeout in Isabelle.props of the plugin, although
I can't say on the spot how to change that in the published version
without rebuilding the plugin.
Running Isabelle/jEdit with as little as 1 GB is a bit ambitious anyway.
In the local course that we had 2 weeks ago, we required 2 GB as minimum
and that was already tight.
Makarius
Email Gateway (Aug 18 2022 at 16:37):From: Walther Neuper <wneuper@ist.tugraz.at>
On 12/06/2010 03:55 PM, Makarius wrote:
I suppose you have copied an actual x86-cygwin image here, not x86-linux?
Right.
By the way, the bundle works great: now we just copy Isac to the heaps,
add some *.thy required for the course, 'tar cvfz
Isabelle2009-2-ISAC_bundle_x86-cygwin.tar.gz Isabelle2009-2', put it on
an USB-stick and give it to the teachers.starts jedit as well, but Plugin/Isabelle gives error 'Failed to
start Isabelle process' together with a window just containing '>'.PS: These 2 notebooks only have 1 GB of memory.
This could well be the startup timeout, which is 10s by default. See
options.isabelle.startup-timeout in Isabelle.props of the plugin,
although I can't say on the spot how to change that in the published
version without rebuilding the plugin.Thank you very much for that hint !
Running Isabelle/jEdit with as little as 1 GB is a bit ambitious
anyway. In the local course that we had 2 weeks ago, we required 2 GB
as minimum and that was already tight.
We are bound to these 'ambitions', because there are 2 teachers with
notebooks with 1 GB.
This might be sufficient, since we do not build theories in the course,
rather we just use some simple functions (see attachment).
Makarius
Walther
T2_Rewriting.thy
Email Gateway (Aug 18 2022 at 16:39):From: Walther Neuper <wneuper@ist.tugraz.at>
Hi,
installing Isabelle2009-2_bundle_x86-cygwin.tar.gz
<http://isabelle.in.tum.de/dist/Isabelle2009-2_bundle_x86-cygwin.tar.gz>
works perfect !
We have 7 notebooks from teachers (with 3 different kinds of Windows ;-)
and had immediate succes with starting jEdit on all of them.
We are going to use jEdit in a course and are running into problems now:
For the course we need our own binary 'Isac', which we succesfully built
on cygwin. Now we copy Isac to the other notebooks, because some of
them are too small to build HOL.
Now we observe a strange behaviour on two of the notebooks: After
0 $ cp Isac /usr/local/Isabelle/heaps/polyml-5.3.0_x86-linux/
the following starts ...
1 $ /usr/local/Isabelle/isabelle jedit Scratch &
... such that Plugin/Isabelle works.
2 $ /usr/local/Isabelle/isabelle jedit -l Isac &
starts jedit as well, but Plugin/Isabelle gives error 'Failed to start
Isabelle process' together with a window just containing '>'.
Then angain trying 1 above (which was successful before), we get the
same error as in 2 (without -l Isac !). This strange behavior occurs
just on two of the notebooks. The error seems not to be specific to
jedit, but we don't want install emacs to check this.
Where should we start to look at ?
Walther
PS: These 2 notebooks only have 1 GB of memory.
Last updated: Nov 21 2024 at 12:39 UTC