gnieh/bluelatex — pull request #63 by tdurieux (2014-05-20 10:22:55+00:00)
Title: Improve messages servic

Create a second type of message: session message.

Session messages are messages which are not removed when the page change.