isabelle: File revisions

src/HOL/Tools/res_reconstruct.ML

Mon, 19 Mar 2007 15:57:20 +0100	paulson	No label on "show"; tries to remove dependencies more cleanly	file \| diff \| annotate
Fri, 09 Mar 2007 13:10:22 +0100	paulson	First stab at reconstructing HO problems	file \| diff \| annotate
Wed, 28 Feb 2007 12:51:46 +0100	paulson	Now outputs metis calls	file \| diff \| annotate
Sat, 20 Jan 2007 14:09:14 +0100	wenzelm	Output.debug: non-strict;	file \| diff \| annotate
Tue, 09 Jan 2007 18:12:59 +0100	paulson	More compact proof reconstruction: lines having fewer than !min_deps dependences are folded	file \| diff \| annotate
Fri, 05 Jan 2007 13:36:32 +0100	paulson	Proof.context now sent to watcher and used in type inference step of proof reconstruction	file \| diff \| annotate
Thu, 04 Jan 2007 17:55:12 +0100	paulson	improvements to proof reconstruction. Some files loaded in a different order	file \| diff \| annotate
Wed, 03 Jan 2007 18:29:46 +0100	paulson	Improvements to proof reconstruction. Now "fixes" is inserted	file \| diff \| annotate
Wed, 03 Jan 2007 11:06:52 +0100	paulson	Contains old Tools/ATP/AtpCommunication.ML, plus proof reconstruction	file \| diff \| annotate

isabelle