2010-09-28 merged
haftmann [Tue, 28 Sep 2010 15:34:30 +0200] rev 39772
merged
2010-09-28 NEWS
haftmann [Tue, 28 Sep 2010 15:33:56 +0200] rev 39771
NEWS
2010-09-28 dropped syntax for old primrec package
haftmann [Tue, 28 Sep 2010 15:32:59 +0200] rev 39770
dropped syntax for old primrec package
2010-09-28 modernized session
haftmann [Tue, 28 Sep 2010 15:31:10 +0200] rev 39769
modernized session
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip