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

Dmitriy Traytel traytel at in.tum.de
Wed Sep 10 11:01:33 CEST 2014


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




More information about the isabelle-dev mailing list