W3C home > Mailing lists > Public > public-linked-json@w3.org > October 2014

JSON-LD in pygments

From: Nicholas Bollweg <nick.bollweg@gmail.com>
Date: Thu, 9 Oct 2014 18:07:33 -0400
Message-ID: <CACejjWwbHm4+0r5QbfabzV=SPbBaBu39kr1cVYfXnjnv1SG2=A@mail.gmail.com>
To: public-linked-json@w3.org
A PR I put in a while ago finally got merged into pygments mainline:


(manual merge, as it was getting really behind, and I'm really bad at

Not sure when the release will be cut, but that's codemirror and pygments,
which is a pretty good start for browser-based tooling, i.e. IPython
notebook, playground, etc. Looking forward to more tools being able to use

Received on Thursday, 9 October 2014 22:08:01 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:18:42 UTC