isabelle: Changelog

huffman [Thu, 03 Jul 2008 17:58:10 +0200] rev 27472

removed nonstandard analysis theories to HOL-NSA

huffman [Thu, 03 Jul 2008 17:57:01 +0200] rev 27471

moved theories to HOL/NSA

huffman [Thu, 03 Jul 2008 17:53:39 +0200] rev 27470

add HOL-NSA

wenzelm [Thu, 03 Jul 2008 17:51:53 +0200] rev 27469

use patched cvsps to workaround loss of "foo: bar;" log entries;

huffman [Thu, 03 Jul 2008 17:47:22 +0200] rev 27468

move nonstandard analysis theories to NSA directory

wenzelm [Thu, 03 Jul 2008 15:37:10 +0200] rev 27467

back to default style, which shows files in changelog view;

wenzelm [Thu, 03 Jul 2008 15:13:59 +0200] rev 27466

added description;

wenzelm [Thu, 03 Jul 2008 14:52:54 +0200] rev 27465

tuned;

wenzelm [Thu, 03 Jul 2008 14:44:49 +0200] rev 27464

logrotate setup;

wenzelm [Thu, 03 Jul 2008 14:34:53 +0200] rev 27463

redirect stderr as well;

isabelle