diff options
| author | jason | 2012-08-09 09:18:48 -0600 |
|---|---|---|
| committer | jason | 2012-08-09 09:18:48 -0600 |
| commit | 4a3c481963b294f9026ddee091654caeae7d685f (patch) | |
| tree | a91bf73c98855c97c7aaa675cc3f1b27463895f2 /javascripts/lang-tex.js | |
| parent | a8c0fc993911e594d905911c070b525d5b725f7e (diff) | |
| download | warmachine-4a3c481963b294f9026ddee091654caeae7d685f.tar.gz warmachine-4a3c481963b294f9026ddee091654caeae7d685f.zip | |
updated the page.
Diffstat (limited to 'javascripts/lang-tex.js')
| -rw-r--r-- | javascripts/lang-tex.js | 1 |
1 files changed, 1 insertions, 0 deletions
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"]); | |||