gnieh/bluelatex — pull request #58 by satabin (2014-05-09 15:42:48+00:00)
Title: [imp #12] Save paper last modification time

When we compile the paper, save the last modification time if necessary,
this can be retrieved by the client when asking for project information.