[isabelle-dev] Feedback from a Isabelle tutorial

Lawrence Paulson lp15 at cam.ac.uk
Sat Jun 25 10:58:25 CEST 2011

Is it possible to restrict command completion to a select collection of commonly used commands? Or to make it the user-configurable?

On 24 Jun 2011, at 21:01, Alexander Krauss wrote:

> Suggestion: Simply kill completion of commands (not symbols)???

More information about the isabelle-dev mailing list