isabelle: File revisions

src/Pure/Tools/thm_deps.ML

Mon, 06 Apr 2015 17:06:48 +0200	wenzelm	@{command_spec} is superseded by @{command_keyword};	file \| diff \| annotate
Wed, 31 Dec 2014 20:42:45 +0100	wenzelm	clarified Graph_Display.graph etc.: sort_graph determines order from structure (and names);	file \| diff \| annotate
Wed, 31 Dec 2014 14:15:52 +0100	wenzelm	for graph display, prefer graph data structure over list with dependencies;	file \| diff \| annotate
Wed, 31 Dec 2014 14:13:11 +0100	wenzelm	more explict and generic field names	file \| diff \| annotate
Wed, 26 Nov 2014 20:05:34 +0100	wenzelm	renamed "pairself" to "apply2", in accordance to @{apply 2};	file \| diff \| annotate
Mon, 03 Nov 2014 14:50:27 +0100	wenzelm	eliminated unused int_only flag (see also c12484a27367);	file \| diff \| annotate
Thu, 21 Aug 2014 22:48:39 +0200	wenzelm	tuned signature -- define some elementary operations earlier;	file \| diff \| annotate
Thu, 14 Aug 2014 10:48:40 +0200	wenzelm	tuned signature -- prefer self-contained user-space tool;	file \| diff \| annotate \| base

isabelle