fixed accidental option modifications in primdec.lib
fixed syntax error
removed empty line
fix version string description
fix: syntax in modstd.lib
fix: version string of tropical.lib
fix: missing compoments in normal (Santiago Laplagne)
Merge pull request #443 from surface-smoothers/fixOptionModificationByAccident.primdec.lib

Fix option modification by accident in primdec.lib
add: doc ring dep. data in ringlist (tr.542)
fix: new grobcov.lib (a.montes)
typo
typo
Fixed a bug in divisors.lib
Merge pull request #451 from jankoboehm/spielwiese

Fixed a bug in divisors.lib
doc: news etc.
Ignore gcov generated files
fix: unwanted changes in gitfan.lib

some changes in gitfan.lib were commited that were performance hacks
for computing the specific example of the GIT-Fan of M06
this gitfan.lib corresponds to the version in commit
  380a17b65f64c61a20280cc21d4db54c3412f165
with the minor change
-version="version gitfan.lib 4.0.0.0 Jun_2013 ";
+version="version gitfan.lib 4.0.0.0 Jun_2013 "; // $Id$
which was done in commit
  36869371ac9c1b61f069fc927adc41fbef647bc4