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 |