[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?
Larry

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