Fri, 21 Nov 2008 11:10:25 +0100Doc improvements for elevator classes (#174)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 21 Nov 2008 11:10:25 +0100] rev 383
Doc improvements for elevator classes (#174)

Fri, 21 Nov 2008 10:41:36 +0000Don't assume that the default maps are reference maps (in Elevator)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 21 Nov 2008 10:41:36 +0000] rev 382
Don't assume that the default maps are reference maps (in Elevator)