Am 05.08.2013 um 18:02 schrieb Makarius makar...@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
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev