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

[Dmitriy Traytel]

Indeed. Could the same be done for locales?

Dmitriy

On 10.09.2014 10:51, Tobias Nipkow wrote:
> 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
>>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev