- added html dumping of RN reductions
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Mon, 6 Oct 2008 17:14:56 +0000 (17:14 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Mon, 6 Oct 2008 17:14:56 +0000 (17:14 +0000)
commit281a6d8b96a1a3324d435db65e54b603ddfd9e04
tree7f5a6467cba3f4a9a079393c1ab70f680776bb82
parent3a72dd91727622c4931951784091adace298be3a
- added html dumping of RN reductions
- typos

[r22544]
heuristical.c