laurentbartholdi/float — pull request #5 by fingolfin (2014-03-14 13:19:45+00:00)
Title: Cleanup CVS leftovers

This pull request gets rid of a call to the obsolete GAP kernel function `FillInVersion`, and also removes some other leftovers from the days of CVS. In particular, it removes access to the GAP library variable `Revision`, which should eventually be removed (just like `FillInVersion`).