From 4a3c481963b294f9026ddee091654caeae7d685f Mon Sep 17 00:00:00 2001
From: jason
Date: Thu, 9 Aug 2012 09:18:48 -0600
Subject: updated the page.

---
 javascripts/lang-tex.js | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 javascripts/lang-tex.js

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

diff --git a/javascripts/lang-tex.js b/javascripts/lang-tex.js
new file mode 100644
index 0000000..ce96fbb
--- /dev/null
+++ b/javascripts/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.1