isabelle: Changelog

ballarin [Tue, 13 Apr 2004 09:42:40 +0200] rev 14551

Various changes to HOL-Algebra; Locale instantiation.

kleing [Tue, 13 Apr 2004 07:48:32 +0200] rev 14550

hence -> from calculation have

kleing [Tue, 13 Apr 2004 07:47:31 +0200] rev 14549

fix moreover/this behaviour: "this" after moreover/also is not = calculation, but remains unchanged.

kleing [Tue, 13 Apr 2004 07:45:07 +0200] rev 14548

export thisN

kleing [Tue, 13 Apr 2004 07:25:46 +0200] rev 14547

isabelle.css

kleing [Tue, 13 Apr 2004 06:11:10 +0200] rev 14546

use .jar

kleing [Tue, 13 Apr 2004 00:43:23 +0200] rev 14545

change order of options for jar (fix error on Sun)

kleing [Tue, 13 Apr 2004 00:01:10 +0200] rev 14544

ignore GraphBrowser.jar

isabelle