[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What I've been working on
|
From: |
Friedrich Beckmann |
|
Subject: |
Re: What I've been working on |
|
Date: |
Tue, 23 Jun 2020 23:59:18 +0200 |
> Am 23.06.2020 um 23:34 schrieb Ben Pfaff <blp@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.