Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 395
Rename markToBottom() to dirtyTopButOne() + better doc (#174)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 17 Nov 2008 15:41:15 +0000] rev 394
Port Elevator from svn -r3516 (#174)
- the unify script hes also been applied
Alpar Juttner <alpar@cs.elte.hu> [Tue, 11 Nov 2008 12:13:07 +0000] rev 393
Merge bugfix #173