From d5194154335d6cb30edca9b648083069faf9778c Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Mon, 10 Oct 2016 03:47:49 +0200
Subject: Squashed 'thirdparty/URI.js/' content from commit b77c167

git-subtree-dir: thirdparty/URI.js
git-subtree-split: b77c167bc201575956ad409333ff032e504b8044
---
 prettify/lang-tex.js | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 prettify/lang-tex.js

(limited to 'prettify/lang-tex.js')

diff --git a/prettify/lang-tex.js b/prettify/lang-tex.js
new file mode 100644
index 000000000..ce96fbbd1
--- /dev/null
+++ b/prettify/lang-tex.js
@@ -0,0 +1 @@
+PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\r \xa0]+/,null,"\t\n\r Â\xa0"],["com",/^%[^\n\r]*/,null,"%"]],[["kwd",/^\\[@-Za-z]+/],["kwd",/^\\./],["typ",/^[$&]/],["lit",/[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],["pun",/^[()=[\]{}]+/]]),["latex","tex"]);
-- 
cgit v1.2.3