Sat, 01 Jul 2000 19:49:09 +0200 wenzelm added site settings check;
Sat, 01 Jul 2000 19:48:04 +0200 wenzelm * Isar: removed 'help' command, which hasn't been too helpful anyway;
Sat, 01 Jul 2000 19:45:43 +0200 wenzelm removed help;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip