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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
