src/Pure/Tools/class_deps.ML
Mon, 03 Nov 2014 14:50:27 +0100 wenzelm eliminated unused int_only flag (see also c12484a27367);
Sun, 07 Sep 2014 17:51:32 +0200 haftmann restrictive options for class dependencies
Sun, 07 Sep 2014 17:51:28 +0200 haftmann separated class_deps command into separate file
less more (0) tip