InfraArcana/ia — pull request #76 by Lain- (2014-12-13 12:23:15+00:00)
Title: Changed 'manual' to 'tome of wisdom' in in-game menu

The option to view the manual is named "Tome of Wisdom" in the mainmenu, but the in-game manu is still named "Manual"

This PR fixs the inconsistence mentioned above.