vle-forge/packages — pull request #7 by Chabrier (2012-11-21 17:49:15+00:00)
Title: de: update the item names inside the GUI

The glade file of the gui has been updated in order to use names
closer to the formalism.

quiet important for the teaching session!