Hi,
I have been writing a tool that interfaces with the Isabelle/Scala API,
and have previously (with Isabelle 2012) been using the example at
https://bitbucket.org/pide/pide_examples/src/5ac145e991f9/ex.scala?at=default
to load theories and run the prover, so that I can collect output and
pr
On Wed, 30 Jan 2013, Tjark Weber wrote:
Some projects let users vote (+1) on feature requests. Of course, as
Steve Jobs put it: "A lot of times, people don't know what they want
until you show it to them."
It is usually better to provide things that people *need*, but that is
even harder to
On Wed, 2013-01-30 at 15:14 +0100, Jasmin Christian Blanchette wrote:
> "First" is quite a bit of work, if you want to bring it into a format
> that Joe Hurd can understand, assuming he even has the time to look
> into it.
It's probably not worth the effort then. Like you said, this kind of
behavi
Hi Tjark,
Am 20.01.2013 um 22:21 schrieb Tjark Weber:
> On Fri, 2013-01-18 at 19:29 +0100, Jasmin Christian Blanchette wrote:
>> What's your concrete suggestion here?
>
> It's more of a curiosity than an issue, of course. Otherwise, I would
> suggest to: First, make sure that the behavior is not
