| Thu, 27 Nov 2008 22:05:35 +0000 | Alpar Juttner | Give different names to the different DIMACS readers | changeset | files |
| Thu, 27 Nov 2008 22:04:46 +0000 | Alpar Juttner | Port DIMACS tools from svn -r3516 | changeset | files |
| Fri, 21 Nov 2008 10:49:39 +0000 | Alpar Juttner | Merge | changeset | files |
| Fri, 21 Nov 2008 11:10:25 +0100 | Peter Kovacs | Doc improvements for elevator classes (#174) | changeset | files |
| Fri, 21 Nov 2008 10:41:36 +0000 | Alpar Juttner | Don't assume that the default maps are reference maps (in Elevator) | changeset | files |
| Mon, 17 Nov 2008 15:41:15 +0000 | Alpar Juttner | Avoid STL panic at Elevator when compiled with -D_GLIBCXX_DEBUG | changeset | files |
| Mon, 17 Nov 2008 15:41:15 +0000 | Alpar Juttner | Rename markToBottom() to dirtyTopButOne() + better doc (#174) | changeset | files |
| Mon, 17 Nov 2008 15:41:15 +0000 | Alpar Juttner | Port Elevator from svn -r3516 (#174) | changeset | files |