[isabelle-dev] "build" name

[Lars Noschinski]

On 12.12.2012 22:49, Jasmin Christian Blanchette wrote:
> Hi all,
>
> The new "isabelle build" tool is really a joy to work with -- thanks Makarius! :-) But one of the mistakes I find myself doing over and over is typing
>
>      isabelle build HOL
>
> when I really meant
>
>      isabelle build -b HOL

Same here.

> It occurred to me that the name "build" is simply misleading. What the tool does, first and foremost, is to "run" or "process" or "check" an Isabelle session (and, as a side effect, build intermediate images). If the command were to be called
>
>      isabelle run HOL-Probability

This naming sounds good for me.

   -- Lars