[isabelle] 2013-1-RC1 'Find' GUI should wrap query string into "..."
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
is to enter "..." (including the quotes!) into the GUI input form,
whereas I would have expected that I can simply enter ... without the
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and