Re: [ProofPower] Trouble Installing in cloud

2012-08-02 Thread Rob Arthan
On 2 Aug 2012, at 06:52, Roger Bishop Jones wrote: > On Thursday 02 Aug 2012 00:33, you wrote: >> On 01/08/12 14:35, Roger Bishop Jones wrote: >>> The real challenge (for me at least) is to get xpp >>> and/or emacs to run in the cloud with a display here >>> on earth, I don't have much clue how t

Re: [ProofPower] Trouble Installing in cloud

2012-08-02 Thread Wolfram Kahl
On Thu, Aug 02, 2012 at 06:52:49AM +0100, Roger Bishop Jones wrote: > I am really looking for a complete X11 framebuffer (is that > what they call it?) which is is remote, so that not only > Xpp but also other tools like emacs run remotely. > There does seem to be software which does that (e.g.