isabelle: Changelog

huffman [Fri, 05 May 2006 01:40:17 +0200] rev 19561

extensive reformatting and cleaning up code (no changes in functionality)

haftmann [Thu, 04 May 2006 19:49:51 +0200] rev 19560

slight fix

haftmann [Thu, 04 May 2006 19:48:41 +0200] rev 19559

added world map

haftmann [Thu, 04 May 2006 19:48:20 +0200] rev 19558

added js

webertj [Thu, 04 May 2006 12:50:01 +0200] rev 19557

Rat.one added

haftmann [Thu, 04 May 2006 11:34:27 +0200] rev 19556

fixed some flaws

haftmann [Thu, 04 May 2006 10:13:55 +0200] rev 19555

fixed some flaws

haftmann [Wed, 03 May 2006 17:41:28 +0200] rev 19554

added world map

webertj [Wed, 03 May 2006 12:05:53 +0200] rev 19553

pre_cnf_tac: beta-eta-normalization restricted to the current subgoal

haftmann [Wed, 03 May 2006 09:45:09 +0200] rev 19552

improvments in mail obfuscator

isabelle