gnieh/bluelatex — pull request #75 by tdurieux (2014-05-24 21:18:38+00:00)
Title: Improve edit user, paper and compiler

Include JSON-Patch library to generate JSON Patch file.

Adapte the code to the new library