Mon, 05 Aug 2013 14:03:29 +0200Fix unresolved doc references (#459)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 05 Aug 2013 14:03:29 +0200] rev 1250
Fix unresolved doc references (#459)

Tue, 06 Aug 2013 12:21:06 +0200Merge further fixes #470 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 12:21:06 +0200] rev 1249
Merge further fixes #470 to branch 1.2

Tue, 06 Aug 2013 12:19:11 +0200Merge further fixes #470 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 12:19:11 +0200] rev 1248
Merge further fixes #470 to branch 1.1