[isabelle-dev] some actual find_theorems functionality (fb1f026c48ff)

[Fabian Immler]

Am 05.08.2013 um 18:02 schrieb Makarius <makarius at sketis.net>:

> On Sun, 4 Aug 2013, Fabian Immler wrote:
> 
>> I think it is a good idea to inform everyone here that a current student's project is about to provide a bit more advanced user interface for the find theorems functionality. It should be finished in two weeks time.
> 
> So far I only know about the existence of the project, but nothing about its contents.
Well, it is supposed to provide a GUI for find_theorems, it should provide completion in the input, but also e.g. filtering of the output.
I currently cannot access the development, so I am afraid I cannot say anything more specific at the moment.

Fabian