[isabelle-dev] NEWS: "class_deps" with optional search space constraints
nipkow at in.tum.de
Wed Sep 10 10:51:43 CEST 2014
Florian showed it to me and class_deps has become really usable. I recommend
it to anyone out there in the class jungle.
On 10/09/2014 10:49, Florian Haftmann wrote:
> * Command "class_deps" takes optional sort arguments constraining the
> search space.
> This refers to be1d10595b7b.
> _______________________________________________ isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev