isabelle: Changelog

quigley [Wed, 20 Apr 2005 16:03:17 +0200] rev 15779

Removed remaining references to Main.thy in reconstruction code.

gagern [Wed, 20 Apr 2005 14:18:33 +0200] rev 15778

Allow symlinks to shell scripts

kleing [Wed, 20 Apr 2005 00:45:54 +0200] rev 15777

added locale instantiation

webertj [Tue, 19 Apr 2005 18:46:04 +0200] rev 15776

refute extended

paulson [Tue, 19 Apr 2005 18:08:55 +0200] rev 15775

syntax fix

paulson [Tue, 19 Apr 2005 18:08:44 +0200] rev 15774

more tidying of libraries in Reconstruction

quigley [Tue, 19 Apr 2005 15:15:06 +0200] rev 15773

Completed integration of reconstruction code. Now finds and displays proofs when used with modified version of Proof General. C.Q.

paulson [Tue, 19 Apr 2005 13:35:01 +0200] rev 15772

auto update

paulson [Tue, 19 Apr 2005 13:34:50 +0200] rev 15771

restored the target HOL-Complex-Import

paulson [Tue, 19 Apr 2005 11:40:23 +0200] rev 15770

fixed presentation

isabelle