K 10
svn:author
V 6
rfalke
K 8
svn:date
V 27
2002-02-12T10:08:05.000000Z
K 7
svn:log
V 171
Introduce a new method num_known_tech_with_flag which replaces
player_knows_techs_with_flag in some
occurrences. player_knows_techs_with_flag now returns a boolean value.

END