andrejv/wxmaxima — pull request #369 by gunterkoenigsmann (2014-12-06 05:04:59+00:00)
Title: Add the new offline manual to the GUI

Part 2 of Patch #368: Actually add the manual to the menu.