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