Re: [isabelle] 2013-1-RC1 'Find' GUI should wrap query string into "..."



Hi Christoph,

if you don't expect to enter quotes in the GUI input line, how do you delimit multiple patterns from each other?

Cheers,
Gerwin

On 04.10.2013, at 5:00 AM, Christoph LANGE <math.semantic.web at gmail.com> wrote:

> Hi Makarius,
>
> thanks for publishing 2013-1-RC1 – looks great!
>
> I gave the new Find GUI a try.  Nice to see that it supports the same
> Unicode symbol Tab completions as the main editor window.
>
> However it took me a while that the GUI counterpart of
>
> find_theorems "..."
>
> is to enter "..." (including the quotes!) into the GUI input form,
> whereas I would have expected that I can simply enter ... without the
> quotes.
>
> Cheers,
>
> Christoph
>
> --
> Christoph Lange, School of Computer Science, University of Birmingham
> http://cs.bham.ac.uk/~langec/, Skype duke4701
>
> → Mathematics in Computer Science Special Issue on “Enabling Domain
>  Experts to use Formalised Reasoning”; submission until 31 October.
>  http://cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/
>


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.