##// END OF EJS Templates
use `$.text` to put latex on the page...
use `$.text` to put latex on the page instead of `$.append` does proper escaping of latex that might be interpreted as HTML tags

File last commit:

r13347:54891794
r22735:e2ba4d66 3.x
Show More
tokenize2.py
9 lines | 160 B | text/x-python | PythonLexer
"""Load our patched versions of tokenize.
"""
import sys
if sys.version_info[0] >= 3:
from ._tokenize_py3 import *
else:
from ._tokenize_py2 import *