Re: What I've been working on

[Friedrich Beckmann]

> Am 23.06.2020 um 23:34 schrieb Ben Pfaff <b...@cs.stanford.edu>:
> 
>> I even tried to save the output window as .spv but I think I was too 
>> optimistic on that one :-)
> 
> Hmm? The output window should support saving as .spv now. If it
> doesn't (I am sure that there are bugs), then I'd like to hear about
> it, and fix it.

Yes it works - no idea why I did not manage this last time.