Mon, 17 Nov 2008 15:41:15 +0000Rename markToBottom() to dirtyTopButOne() + better doc (#174)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 380
Rename markToBottom() to dirtyTopButOne() + better doc (#174)

Mon, 17 Nov 2008 15:41:15 +0000Port Elevator from svn -r3516 (#174)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 379
Port Elevator from svn -r3516 (#174)
- the unify script hes also been applied

Tue, 11 Nov 2008 10:25:57 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 11 Nov 2008 10:25:57 +0000] rev 378
Merge

Tue, 11 Nov 2008 10:12:37 +0000Bugfix in Random (#173)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 11 Nov 2008 10:12:37 +0000] rev 377
Bugfix in Random (#173)

- operator()s always return a double now
- the faulty real<Num>(Num) and real<Num>(Num,Num) have been removed

Mon, 10 Nov 2008 11:14:56 +0000chg-len.py uses the Mercurial API directly
Alpar Juttner <alpar@cs.elte.hu> [Mon, 10 Nov 2008 11:14:56 +0000] rev 376
chg-len.py uses the Mercurial API directly

This makes chg-len.py much faster.

Fri, 07 Nov 2008 13:14:22 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 07 Nov 2008 13:14:22 +0000] rev 375
Merge