[isabelle-dev] NEWS: "class_deps" with optional search space constraints

[Tobias Nipkow]

Florian showed it to me and class_deps has become really usable. I recommend
it to anyone out there in the class jungle.

Tobias

On 10/09/2014 10:49, Florian Haftmann wrote:
> * Command "class_deps" takes optional sort arguments constraining the
> search space.
> 
> This refers to be1d10595b7b.
> 
> Florian
> 
> 
> 
> _______________________________________________ isabelle-dev mailing list 
> isabelle-dev at in.tum.de 
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>