Fri, 28 Nov 2008 11:26:51 +0100Doc improvements for the DIMACS tools (#167)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 28 Nov 2008 11:26:51 +0100] rev 388
Doc improvements for the DIMACS tools (#167)
The doc group is moved to groups.dox.

Fri, 28 Nov 2008 06:38:20 +0000Refactoring of DIMACS tools
Alpar Juttner <alpar@cs.elte.hu> [Fri, 28 Nov 2008 06:38:20 +0000] rev 387
Refactoring of DIMACS tools

Thu, 27 Nov 2008 22:05:35 +0000Give different names to the different DIMACS readers
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:05:35 +0000] rev 386
Give different names to the different DIMACS readers

Thu, 27 Nov 2008 22:04:46 +0000Port DIMACS tools from svn -r3516
Alpar Juttner <alpar@cs.elte.hu> [Thu, 27 Nov 2008 22:04:46 +0000] rev 385
Port DIMACS tools from svn -r3516

Namely,
- apply migrate script
- apply unify sources
- break long lines
- Fixes the compilation
- dim_to_lgf -> dimacs-to-lgf
- better .hgignore
- shorten the doc of dimacs-to-lgf

Fri, 21 Nov 2008 10:49:39 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 21 Nov 2008 10:49:39 +0000] rev 384
Merge

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)